sig
  val connectives : Builtin.Set.t
  val is_connective : Builtin.t -> bool
  val of_string : string -> Builtin.t option
  val pp : t CCFormat.printer
  val to_string : t -> string
end