Module type Sig.With_Integer_Forward_Backward

type boolean = Quadrivalent.t
type integer
include With_Integer_Forward with type boolean := boolean and type integer := integer
include With_Integer_Backward with type boolean := boolean and type integer := integer