Module ghost_resource 

Ghost resources available for use in proofs.

Modules

count_auth

Integer-based counting storage resources with authority.

count_ghost

Integer-based counting ghost resources with authority.

csum

excl