Ocamlbuild_pack.Bool
type 'a boolean
=
|
And of 'a boolean list
Or of 'a boolean list
Not of 'a boolean
Atom of 'a
True
False
val eval : ('a -> bool) -> 'a boolean -> bool
val iter : ('a -> unit) -> 'a boolean -> unit
val map : ('a -> 'b) -> 'a boolean -> 'b boolean