Module csum 

Structs

Left

Left ensures the resource is of type A.

OneLeftKnowledge

OneLeftKnowledge is a special case of Left that the fraction is always one and it does not own the resource.

OneLeftOwner

OneLeftOwner is a special case of Left that the fraction is always one and it is the resource owner.

OneRightKnowledge

OneRightKnowledge is a special case of Right that the fraction is always one and it does not own the resource.

OneRightOwner

OneRightOwner is a special case of Right that the fraction is always one and it is the resource owner.

Right

Right ensures the resource is of type B.

SumResource

SumResource is a token that maintains access to a resource of either type A or type B. It can be split into up to TOTAL fractions, one of which have the exclusive right to access the resource, and others shares the knowledge of the resource’s existence and type, but not the ability to access it.