package abt

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Variable : Variable.VARIABLE

type op

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 : op -> t list -> t

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

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

val ($$) : op -> t list -> t

val to_string : t -> string