Type Definition Gamma
minitt::check::tcm
type Gamma<'a> = Cow<'a, GammaRaw>;
Gamma in Mini-TT. By aliasing BTreeMap to Gamma, we get lookupG in Mini-TT for free.
Gamma
BTreeMap
lookupG