sig type t val of_string : string -> Proposition.t val to_string : Proposition.t -> string val compare : Proposition.t -> Proposition.t -> int val equal : Proposition.t -> Proposition.t -> bool end