mb
collection
GenAutomata
Doc
Sections needed for mb_collection
mb
collection
Collections as properties of objects.
list
1
int
2
bool
1
int
1
well
fnd
fun
1
core
Some basic concepts defined type-theoretically.
mb
collection
GenAutomata
Doc