sig
  type t = C of string * int
  val to_string : Ctrl.t -> string
  val arity : Ctrl.t -> int
  val name : Ctrl.t -> string
  val ( = ) : Ctrl.t -> Ctrl.t -> bool
  val compare : Ctrl.t -> Ctrl.t -> int
end