[−][src]Type Definition minitt::check::read_back::NormalCaseTree
type NormalCaseTree = GenericBranch<NormalCase>;
NSClos
in Mini-TT, normal form closures.
type NormalCaseTree = GenericBranch<NormalCase>;
NSClos
in Mini-TT, normal form closures.