instances

fun instances(goal: Term, branch: Int? = null): List<Term>

The instances of goal in the given branch (the active one if null), as context_all: for the native primitives reading the context, without solving a goal (see ContextAll.owner)