pub fn validate<'a>(
unit: &CodeUnit,
published: &dyn Fn(CodeUnitId) -> Option<&'a CodeUnit>,
) -> Result<(), ValidateError>Expand description
Checks every operand of unit. published finds the units already in
the store; children must be among them.