Module BaseLogic.Boolean0

val mk_const : Stdlib.Bool.t -> t
val tt : t
val ff : t