undefined : ('a, 'b) func
- SYNOPSIS
-
Completely undefined finite partial function.
- DESCRIPTION
-
This is one of a suite of operations on finite partial functions, type
('a,'b)func. These may sometimes be preferable to ordinary functions since
they permit more operations such as equality comparison, extraction of domain
etc. The value undefined is the `empty' finite partial function that is
nowhere defined.
- FAILURE CONDITIONS
-
Not applicable.
- EXAMPLE
-
# (undefined:(string,term)func);;
val it : (string, term) func =
# apply it "anything";;
Exception: Failure "apply".
- USES
-
Starting a function to be augmented pointwise.
- SEE ALSO
-
|->, |=>, apply, applyd, choose, combine, defined, dom, foldl, foldr,
graph, is_undefined, mapf, ran, tryapplyd, undefine.