package abt

  1. Overview
  2. Docs
type op
type t
type 'a view =
  1. | VarView of Variable.t
  2. | AbsView of Variable.t * 'a
  3. | AppView of op * 'a list
exception Malformed
val into : t view -> t
val out : t -> t view
val aequiv : (t * t) -> bool
val map : ('a -> 'b) -> 'a view -> 'b view
val freevars : t -> Variable.t list
val subst : t -> Variable.t -> t -> t
val intoVar : Variable.t -> t
val intoAbs : Variable.t -> t -> t
val intoApp : op -> t list -> t
val (!!) : Variable.t -> t
val (^^) : Variable.t -> t -> t
val ($$) : op -> t list -> t
val to_string : t -> string