abs

Absolute value.
Compute the absolute value.
Generates an Abs Path type from an interpolated string literal. Unimplemented
The absolute value of a number.
\a -> abs a * signum a ~= a
>>> abs (-1)
1
Construct an 'Abs fd' from a String.
abs x1 returns the absolute value of x1. The term is expected to have type Int.
Takes the absolute value of a Quantity.
Takes the absolute value of a possibly scaled SQuantity, preserving any scale factor.
The absolute tolerance. Defaults to 1e-12.
An absolute path.
A type representing absolute paths.
Hack so that norms have a sensible type.
Binder. Abs: The bound variable might appear in the body. NoAbs is pseudo-binder, it does not introduce a fresh variable, similar to the const of Haskell.
The body has (at least) one free variable. Danger: unAbs doesn't shift variables properly