ground

open fun ground(term: Any): Struct

Builds a ground/1 Struct.