Skip to main content

is_checked_run

submilli_engine::stdlib::agents::declaration

Function is_checked_run 

Source 
pub fn is_checked_run(mangled: &MangledName) -> bool
Expand description

Whether mangled is the typed run, so the typechecker’s interception matches however the symbol was imported.