sig
  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
end