Map
Reference for mo:core/ghost/Map in the core library.
Multiset
Reference for mo:core/ghost/Multiset in the core library.
Seq
Reference for mo:core/ghost/Seq in the core library.
Set
Reference for mo:core/ghost/Set in the core library.
Ghost Modules
Spec-only collection APIs