Skip to main content

Module option

creusot_std::logic::ra

Module option 

Source

Structsยง

OptionLocalUpdate
Apply an update to the inner value of an authority/fragment pair of Options.
OptionUpdate
Apply an update to the inner value of an Option resource.