Functor

public struct Functor<Atom: Hashable>

The name-arity signature of a Term. Defines a class of Terms that can potentially be unified with each other.

  • The name.

    Declaration

    Swift

    public let name: Atom

  • The number of arguments.

    Declaration

    Swift

    public let arity: Int

  • The hash value.

    Declaration

    Swift

    public var hashValue: Int