API Documentation of Package 'finite-map'

Modules:

Explanations of the icons used in the documentation:

  Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
  Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations