Skip to main content

parse_assumptions

Function parse_assumptions 

Source
fn parse_assumptions(text: &str) -> BTreeMap<String, Assumption>
Expand description

assumptions.md: each bold id with its text and the sites column.