Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
# definition, equality
# see
Def.do and Def.steps in Step.exp_steps
Def.steps in Type.of_exp_do
$Def in Main.main
exps = %0 : %Exps
set x:0 y:0 = _
T x:0 : 0 = x # show type, see [T] in Type.of_exp_do