Skip to main content

Module fmap

creusot_std::logic

Module fmap 

Source
Expand description

A logical/ghost finite map.

Structsยง

FMap
A finite map type usable in pearlite and ghost! blocks.
Iter
Iterator for FMap.