Index of types

B
bindbox [Bindlib]	Type of a term of type `'a` under construction.
binder [Bindlib]	Type of a binder for an element of type `'a` into an element of type `'b`.
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`.