Traits impératifs II
Référence
(
ref
exp
)
Env
|-
exp
:
t
Env
|-
ref
exp
:
t
ref
Affectation
(
exp
1
:=
exp
2
)
Env
|-
exp
1 :
t
1
ref
Env
|-
exp
2 :
t
1
Env
|-
exp
1 :=
exp
2 :
unit
Séquence
(
exp
1
;
exp
2
)
Env
|-
exp
1 :
t
1 ;
Env
|-
exp
2 :
t
2
Env
|-
exp
1;
exp
2 :
t
2
Exceptions
(
exception
idf
of
typ
;;
)
Env
|-
idf
:
typ
®
exn
Env
|-
raise
:
a
.
exn
®
a
