Function measure_definition 

pub fn measure_definition(input: &str) -> Result<usize, ParseError>

The EXTENT of the ## To block at the front of input — where it ends — read from its syntax alone. See measure_theorem.