Explicit_def_id.State
val list_all : Prelude.unit -> t Prelude.list
List all identifiers the engine dealt with so far. Beware, this function is stateful.