Function rustre_core::check

source · 
pub fn check(db: &Database) -> Rc<()>
Expand description

Query: Global program check