Module Kwvalid.Combinator

module Combinator: sig .. end

val not : Kwvalid.t -> Kwvalid.t
val (&&) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t
val (||) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t