Functions

The following functions are available globally.

  • Returns true if lhs and rhs have the same name and the same arguments. Note that the arguments are the same if they have the same value or if they are bound together.

    See more

    Declaration

    Swift

    public func ==<Atom: Hashable>(lhs: Term<Atom>, rhs: Term<Atom>) -> Bool
  • Returns true if lhs has the same name and arity as rhs.

    See more

    Declaration

    Swift

    public func ==<Atom: Hashable>(lhs: Functor<Atom>, rhs: Functor<Atom>) -> Bool