|
|
|---|
|
|
|
|---|
Fixtype of committees.
This is a product type introduced by fty::defprod.
In our model, a committee is a map from addresses to bonded stake (the latter modeled as positive integers), but we wrap it in a fixtype for greater abstraction and extensibility.