Module resource 

Modules

agree

algebra

auth

exclusive

frac

frac_opt

ghost_var

map

Maps that support ownership of keys

option

pcm

product

relations

seq

set

Implementation of a resource for ownership of subsets of values in a set

storage_protocol

sum

Structs

Loc

Functions

combine_values

copy_duplicable_part

duplicate

incorporate

lemma_pcm_associative

lemma_pcm_properties

redistribute

split_mut

update_and_redistribute

update_mut

validate_3

validate_4

validate_5

validate_multiple