assignment
Sections
ClassicalProps(jlc)
Doc
Def
S
T ==
x:S. x
T
Thm*
Assignment
(Var
) Assignment_inc
In prior sections:
quot
1
discrete
jlc
core
3
jlc
var
jlc
(Var
) Assignment_inc
T == 
x:S. x 
T
(Var) Assignment_inc