[−][src]Type Definition minitt::ast::Branch
type Branch = GenericBranch<Expression>;
$S ::= ()\ |\ (\textsf{c}\ M, S)$, Pattern matching branch.
type Branch = GenericBranch<Expression>;
$S ::= ()\ |\ (\textsf{c}\ M, S)$, Pattern matching branch.