Module type Sig.With_Memory_Backward

type boolean = Quadrivalent.t
type binary
type memory