More int_abs documentation

This commit is contained in:
Chad Stearns 2020-05-09 18:01:22 -04:00
parent 1d1f620090
commit f5ebdf49e4

View file

@ -121,7 +121,8 @@ fn int_abs(var_store: &VarStore) -> Def {
branches: vec![( branches: vec![(
// if-condition // if-condition
no_region( no_region(
// Int.isLt // Int.isLt 0 n
// 0 < n
call( call(
Symbol::INT_LT, Symbol::INT_LT,
vec![Int(var_store.fresh(), 0), Var(Symbol::INT_ABS_ARG)], vec![Int(var_store.fresh(), 0), Var(Symbol::INT_ABS_ARG)],