(* Absolute value function *)

DEF Abs AS
   IF [id,#0] | < THEN minus
   ELSE id
   END;
