equalsTo

open infix fun Any.equalsTo(other: Any): Struct

Builds a Struct whose functor is '='/2 (term unification operator).