BaseLogic.Binder
type nonrec range = range
type t = binder
val equal : binder -> binder -> bool
val compare : binder -> binder -> int
val show : binder -> string
val is_quantifier : 'a -> bool
val get_sort : 'a -> 'b -> Sort.t