module Combinator: sig .. end
sig
end
val not : Kwvalid.t -> Kwvalid.t
Kwvalid.t -> Kwvalid.t
val (&&) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t
Kwvalid.t -> Kwvalid.t -> Kwvalid.t
val (||) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t