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