val eta_compare : nf -> nf -> int
val eta_eq : [< nf ] -> [< nf ] -> bool
val eta_subterm : [< nf ] -> [< nf ] -> bool
val max_arity_tms : int -> [< nf] list -> int option
val compute_arities : int -> int -> nf list -> int list
val eta_compare : nf -> nf -> int
val eta_eq : [< nf ] -> [< nf ] -> bool
val eta_subterm : [< nf ] -> [< nf ] -> bool
val max_arity_tms : int -> [< nf] list -> int option
val compute_arities : int -> int -> nf list -> int list