(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
wf
x:
. |x|
By:
Unfold `absval` 0
THEN
Analyze 0
Generated subgoal:
1
1.
x:
if 0
x
x else -x fi
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
if 0
x
x else -x fi 
x:. |x| if 0x x else -x fi 
