Function check_bool_rec

crates/kernel/src/inductive.rs:4720–4726

()

    }
    Ok(())
  }

  /// Validate a recursor by comparing with generated canonical form.
  pub fn check_recursor_member(
    &mut self,
    id: &KId<M>,
  ) -> Result<(), TcError<M>> {
    let (
      rec_block,
      ty,