Function abs

Source
pub fn abs<V: Binder, M>(a: V, b: GTerm<V, M>) -> GTerm<V, M>