Sig.With_Binary_Forward
type boolean = Quadrivalent.t
type binary
module Binary_Forward : Transfer_functions.Binary_Forward with module Arity := Transfer_functions.Forward_Arity and type boolean := boolean and type binary := binary