Index of types

A
accumulator [Tools.MakeUF]
accumulator [UnionFind.Desc]
accumulator [UnionFind.S]
auto_min [Automate]	Type d'un automate déterministe avec des états de type `'a` sur des lettres de type `'b`.
automate [Construction.Compute]
automate [Automate]	Type d'un automate avec des états de type `'a` sur des lettres de type `'b`.
B
bij [Tools]
C
case [Tools]
D
descriptor [Tools.MakeUF]
descriptor [UnionFind.Desc]
descriptor [UnionFind.S]
E
elt [Relation.R]
elt [Relation.Make]
etat [Construction.Compute]
etat [Monoid.Compute]
I
item [Tools.MakeUF]
item [UnionFind.S]
K
key [UnionFind.Item.Map]
L
lettre [Construction.Compute]
lettre [Monoid.Compute]
M
monoid [Monoid]	Type des monoides dont les éléments sont des mots sur un alphabet de type `'a`, consitués d'une liste d'éléments et d'une liste de règles de réécriture.
mot [Monoid.Compute]
mot [Automate]	Type d'un mot sur un alphabet de type `'a`.
R
regexp [Regexp]	Type des expressions régulières sur un alphabet de type `'a`.
revexp [Regexp]	Type des expressions régulières étendues d'une opération `Rev`, dénotant le mirroir d'une expression.
S
state [Construction.Compute]
state [Tools.MakeUF]
state [UnionFind.S]
T
t [Construction.Compute.MMap]
t [Construction.Compute.AMap]
t [Relation.R]
t [Relation.Make]
t [Tools.Base]
t [Tools.OptionB]
t [Tools.Pair2B]
t [Tools.PairB]
t [Tools.ArrayB]
t [Tools.ListB]
t [Tools.CaseB]
t [UnionFind.Item.Map]
t [UnionFind.Item]