Module type Sig.Boolean_Forward

include Boolean_Backward
type boolean
module Arity : Arity
val true_ : boolean Arity.ar0
val false_ : boolean Arity.ar0