Parameter Syntax.F

type t
val not : t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t