Protocols

The following protocols are available globally.

  • Instances of conforming types can be unified such that they represent to the same value.

    See more

    Declaration

    Swift

    public protocol UnifiableType

  • Instances of conforming types can be copied such if values f and g are unified, then copies f' and g' will also be unified, but the copies will not be unified with te original values.

    See more

    Declaration

    Swift

    public protocol ContextCopyable