Function check_bool_inductive

crates/kernel/src/inductive.rs:4678–4682

()

    for member in &members {
      if !matches!(self.try_get_const(member)?, Some(KConst::Recr { .. })) {
        return self.check_recursor_member(id);
      }
    }

    if let Some(result) = self.env.block_check_results.get(&block).cloned() {
      return result;
    }
    let result = self.check_recursor_block(&block, &members);