Sig.With_Boolean_Backward
type boolean = Quadrivalent.t
module Boolean_Backward : Transfer_functions.Boolean_Backward with module Arity := Transfer_functions.Backward_Arity and type boolean := boolean