Module type Sig.With_Bitvector_Forward

type boolean = Quadrivalent.t
type binary