sig
  type t = [ `Exists | `Forall | `Fun | `Mu | `TyForall ]
  val to_string : TermInner.Binder.t -> string
end