(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
minus
imin
1
1.
a:
2.
b:
-if a
b
a else b fi = if -a
-b
-b else -a fi
By:
SplitOnConclITEs
Generated subgoals:
None
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
-if a
b
a else b fi = if -a-b -b else -a fi
