Type Definition Typed
minitt::syntax
type Typed = (Pattern, Box<Expression>);
Pattern with type explicitly specified