of

fun of(vararg items: Term): List

Creates a well-formed logic list containing items, in order, terminated by EmptyList.


fun of(items: Iterable<Term>): List
fun of(items: List<Term>): List
fun of(items: Sequence<Term>): List

See also