Function mk_id

crates/kernel/src/inductive.rs:4516–4518

(s: &str)

    let (ind_params, ind_indices, ctors, block, ty) =
      match self.try_get_const(ind_id)? {
        Some(KConst::Indc { params, indices, ctors, block, ty, .. }) => {
          (params, indices, ctors.clone(), block.clone(), ty.clone())
        },
        _ => return Ok(false),
      };