A Bindings factory that provides Bindings backed by immutable.js.

Implements

  • BindingsFactory

Constructors

Methods

  • Create a new Bindings object from the given variable-value entries.

    Parameters

    • entries: [Variable, Term][] = []

      An array of entries, where each entry is a tuple containing a variable and a term.

    Returns Bindings

  • Create a copy of the given bindings object using this factory.

    Parameters

    • bindings: Bindings

      A Bindings object.

    Returns Bindings