Module type Sig.Boolean_Backward

type boolean
module Arity : Arity