Index of types

B
binder [Bindlib]

Type of a binder for an element of type 'a into an element of type 'b.

box [Bindlib]

Type of a term of type 'a under construction.

C
ctxt [Bindlib]

Type of a context.

M
mbinder [Bindlib]

Type of a binder for an array of elements of type 'a into an element of type 'b.

mvar [Bindlib]

Type of an array of variables of type 'a.

T
t [Bindlib.Map2]
t [Bindlib.Map]
V
var [Bindlib]

Type of a free variable of type 'a.