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