This page requires javascript to work

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

type CaseTree = GenericBranch<Case>;

$\lang S,\rho \rang$, SClos in Mini-TT.
Case tree.