Type Definition StakeMapping
themelio_stf
type StakeMapping = SmtMapping<HashVal, StakeDoc>;
A stake mapping