Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (8 sloc) 211 Bytes
# definition, equality
# see 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
You can’t perform that action at this time.