consOf

abstract fun consOf(head: Term, tail: Term): Cons

Creates a Cons with the given head and tail. See Cons.of.