Skip to main content

theory_funcs_rib

flux_desugar::resolver

Function theory_funcs_rib 

Source 
fn theory_funcs_rib() -> Rib
Expand description

The Namespace::ReftNS prelude: theory functions and cast.