Name succ
Definition succ(a:val(scalar)):expr(scalar)
Defined in ops.l
Implementation icode
Description Return the successor to the given scalar value.