Classes

The following classes are available globally.

  • Defines context in which copying occurs such that repeated substructure maintains shared glue between bindings.

    See more

    Declaration

    Swift

    public final class CopyContext

  • The most basic unifiable type. Stores an Element such that, on unification, both Bindings refer to this same Element. Note that this element may be set to nil to indicate that no value has been determined.

    See more

    Declaration

    Swift

    public final class Binding<Element: Equatable>