Module type Sig.With_Integer_Backward

type boolean = Quadrivalent.t
type integer