check_boundaries

beck_core::secure

Function check_boundaries 

Source 
pub fn check_boundaries(program: &Program, diags: &mut Diagnostics)
Expand description

The per-module half.