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