This page requires javascript to work

[][src]Type Definition minitt::ast::GenericBranch

type GenericBranch<T> = BTreeMap<String, Box<T>>;

$S(M) ::= ()\ |\ (\textsf{c}\ M, S)$