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