Type Definition GenericBranch
minitt::ast
type GenericBranch<T> = BTreeMap<String, Box<T>>;
$S(M) ::= ()\ |\ (\textsf{c}\ M, S)$