ContextCopyable

public protocol ContextCopyable

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.

  • Copies this reusing any substructure that has already been copied within this context, and storing any newly generated substructure into the context.

    Declaration

    Swift

    static func copy(this: Self, withContext context: CopyContext) -> Self