pub fn check_declarations(
env: &mut Environment,
decls: Vec<Declaration>,
) -> Result<(), KernelError>Expand description
Check multiple declarations in sequence.
Processes the declarations in the given order, stopping at the first error. Each successfully-checked declaration is added to the environment so that later declarations can refer to earlier ones.