Module type Sig.With_Memory_Forward_Backward

type boolean = Quadrivalent.t
type binary
type memory
include With_Memory_Forward with type boolean := boolean and type binary := binary and type memory := memory
include With_Memory_Backward with type boolean := boolean and type binary := binary and type memory := memory