package abt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module O : Operator.OPERATOR

module Variable = Variable.Var

type t

type 'a view =

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 : O.t -> t list -> t

val (!!) : Variable.t -> t

val (^^) : Variable.t -> t -> t

val ($$) : O.t -> t list -> t

val to_string : t -> string