visitHead

open fun visitHead(head: Struct): T

Visits the head of a Clause (a no-op wrapper around visitLiteral by default).