listedOf

fun listedOf(vararg clause: Clause): Theory

fun listedOf(clauses: Sequence<Clause>): Theory

fun listedOf(clauses: Iterable<Clause>): Theory

Creates a Theory backed by a list, containing the given clauses

fun listedOf(vararg clause: Scope.() -> Clause): Theory

Let developers easily create a Theory backed by a list, while avoiding variables names clashing by using a different Scope for each Clause