deskc_concretizer

Function concretize

Source
pub fn concretize(amirs: &Amirs) -> Mirs