Module type Sig.With_Forward

include With_Memory_Binary_Integer_Boolean_Forward
include With_Memory_Forward
type boolean = Quadrivalent.t
type binary
type memory