A | |
add [Env] |
Ajouter une liaison.
|
add [Var.Vars] | add x s returns a set containing all elements of s ,
plus x .
|
C | |
cardinal [Var.Vars] |
Return the number of elements of a set.
|
check [Check] |
L'appel
check env t renvoie le type du terme t dans l'environnement env
|
choose [Var.Vars] |
Return one element of the given set, or raise
Not_found if
the set is empty.
|
comp [Eq] |
Composition des substitutions,
ne fonctionne que pour des substitutions de supports disjoints.
|
compare [Var.Vars] |
Total ordering between sets.
|
compile [Ia32] |
Output ia32 code to channel
|
compile [Compiler] |
L'appel
compile env t compile le terme t dans l'environnement env .
|
D | |
delta [Eq] |
L'appel
delta x ty fabrique la substitution s(x) = ty
et s(y) = y pour tout y différent de x
|
diff [Var.Vars] |
Set difference.
|
disjoint [Eq.Vars] |
Teste si deux ensembles sont disjoints (i.e.
|
dom [Eq] |
Support d'une substitution, i.e.
|
E | |
elements [Var.Vars] |
Return the list of all elements of the given set.
|
empty [Var.Vars] |
The empty set.
|
equal [Var.Vars] | equal s1 s2 tests whether the sets s1 and s2 are
equal, that is, contain equal elements.
|
erase [T.Ast] |
Efface les types d'un terme de PCF explicitement typé, ce qui
produit un terme de PCF non typé
|
evaln [Eval] | |
evalv [Eval] |
Deux évaluateurs, par nom et par valeur
|
exec [Machine] |
Lancer l'exécution de la machine, le premier argument est la valeur
initiale de l'environnement de la machine.
|
exists [Var.Vars] | exists p s checks if at least one element of
the set satisfies the predicate p .
|
F | |
filter [Var.Vars] | filter p s returns the set of all elements in s
that satisfy predicate p .
|
find [Env] |
Rechercher la valeur associée à une variable.
|
fold [Var.Vars] | fold f s a computes (f xN ... (f x2 (f x1 a))...) ,
where x1 ... xN are the elements of s , in increasing order.
|
for_all [Var.Vars] | for_all p s checks if all elements of the set
satisfy the predicate p .
|
fresh_var [Eq] |
Renvoie une variable de type fraîche.
|
from_chan [O.Reader] |
Dans un canal
|
from_chan [I.Reader] |
Lire dans un canal (un fichier), un canal simple est l'entrée standard
stdin .
|
from_chan [T.Reader] |
Dans un canal
|
from_chan [S.Reader] |
Lire dans un canal (un fichier), un canal simple est l'entrée standard
stdin .
|
from_string [O.Reader] |
Dans une chaîne
|
from_string [I.Reader] |
Lire dans une chaîne
|
from_string [T.Reader] |
Dans une chaîne
|
from_string [S.Reader] |
Lire dans une chaîne
|
I | |
id [Eq] |
Substitution identitée id(x) = x pour tout x.
|
infer [Poly] |
Inférer le type d'un terme sans variables libres.
|
infer [Hindley] |
L'appel
infer env t renvoie le type du terme t dans
l'environnement de typage env .
|
infer_scheme [Poly] |
Utilisable comme argument de la boucle interactive
S.Top.loop .
|
inter [Var.Vars] |
Set intersection.
|
interv [Inter] |
Interpréteur en appel par valeur
|
is_empty [Var.Vars] |
Test whether a set is empty or not.
|
iter [Var.Vars] | iter f s applies f in turn to all elements of s .
|
L | |
loop [O.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
loop [I.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
loop [T.Top] |
Boucle interactive pour PCF typé, limitée aux types.
|
loop [S.Top] | loop print eval lance une boucle 'toplevel', en français boucle interactive.
|
loop_eval [T.Top] |
L'appel
loop_eval check print eval lance une boucle interactive
complète qui combine vérification de type
(par check ) et évaluation (par eval ).
|
M | |
max_elt [Var.Vars] |
Same as
Set.S.min_elt , but returns the largest element of the
given set.
|
mem [Var.Vars] | mem x s tests whether x belongs to the set s .
|
mgu [Eq] |
Résolution des équations, renvoie une solution principale.
|
mgu_incr [Eq] |
Résolution incrémentale, on peut voir l'appel
mgu_incr t1 t2 s
comme renvoyant la substitution mgu(s(t1),s(t2)) o s.
|
min_elt [Var.Vars] |
Return the smallest element of the given set
(with respect to the
Ord.compare ordering), or raise
Not_found if the set is empty.
|
O | |
of_list [Eq.Vars] |
Fabrique un ensemble à partir d'une liste d'éléments
non nécessairement distincts deux à deux.
|
of_list [Var.Vars] |
Fabrique un ensemble à partir d'une liste d'éléments
non nécessairement distincts deux à deux.
|
P | |
partition [Var.Vars] | partition p s returns a pair of sets (s1, s2) , where
s1 is the set of all the elements of s that satisfy the
predicate p , and s2 is the set of all the elements of
s that do not satisfy p .
|
print [T.Type] |
Afficher un type dans un canal de sortie.
|
print [S.Ast] |
Afficher dans un canal de sortie.
|
print [Var.Vars] |
Afficher un ensemble de variables.
|
print_code [Code] | |
print_eqs [Eq] | |
print_instruction [Code] |
Divers afficheurs
|
print_scheme [Eq] |
Afficheur
|
print_subst [Eq] |
Et leurs afficheurs
|
print_value [Machine] |
L'afficheur des valeurs.
|
print_value [Inter] |
Pour voir les valeurs
|
R | |
remove [Var.Vars] | remove x s returns a set containing all elements of s ,
except x .
|
S | |
singleton [Var.Vars] | singleton x returns the one-element set containing only x .
|
split [Var.Vars] | split x s returns a triple (l, present, r) , where
l is the set of elements of s that are
strictly less than x ;
r is the set of elements of s that are
strictly greater than x ;
present is false if s contains no element equal to x ,
or true if s contains an element equal to x .
|
subset [Var.Vars] | subset s1 s2 tests whether the set s1 is a subset of
the set s2 .
|
subst [Eq] |
Applique une substitution à une variable de type
|
subst [Eval] |
Substitution :
subst e1 x e2 renvoie
e1 avec la variable x remplacée par e2 ,
noté e1[x/e1] dans le cours.
|
subst_type [Eq] |
L'appel
subst s t applique la substitution s au type t .
|
T | |
to_char [Op] |
Représentation usuelle des opérations, par exemple
Add -> '+'
|
to_fun [Op] |
Renvoie la fonction qui calcule l'opérateur passé en argument.
|
to_string [T.Type] |
Représenter un type dans une chaîne
|
U | |
union [Var.Vars] |
Set union.
|