Module Term_utils


module Term_utils: sig .. end

Common functions for building terms



val x : Term.term
val y : Term.term
val z : Term.term
val w : Term.term
val app : Parsetree.generator -> Term.term list -> Term.term
val app0 : Parsetree.generator -> Term.term
val app1 : Parsetree.generator -> Term.term -> Term.term
val app2 : Parsetree.generator -> Term.term -> Term.term -> Term.term
val iapp : Longident.t -> Term.term list -> Term.term
val iapp0 : Longident.t -> Term.term
val iapp1 : Longident.t -> Term.term -> Term.term
val iapp2 : Longident.t -> Term.term -> Term.term -> Term.term
val vars : int -> Term.term list