LawSymbol:ABS

From DocR23

Contents 1 Action 2 Derivation 3 Syntax 4 Example

Action

Makes a law that takes the absolute value of another law.

Derivation

abs_law

Syntax

ABS (my_law)

Example

; law "ABS(x)" 
;Create a simple law. 
(define my_law (law "abs(x)")) 
;; my_law
 ; => #law "ABS(X)" 
(law:eval my_law -2) 
;; 2