Module store

Structs

Store

A store for assertions with some custom IdentGenerator to generate unique identifiers to be used within asserts. DefaultStore is recommended for most purposes, which uses a CountingIdentGenerator.

Type Aliases

DefaultStore