Module type Sig.With_Bitvector_Forward_Backward

type boolean = Quadrivalent.t
type binary
include With_Bitvector_Forward with type boolean := boolean and type binary := binary
include With_Bitvector_Backward with type boolean := boolean and type binary := binary