Sig.With_Boolean_Forward
type boolean = Quadrivalent.t
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
val truth_value : boolean -> Quadrivalent.t