pub fn eval_ground_level(l: &Level) -> Option<u32>
Evaluate a ground (no params, no mvars) level to a concrete u32.
u32
Returns None if the level has parameters or metavariables.
None