Method is_full

crates/kernel/src/whnf.rs:94–96

(self)

/// The only non-full policy currently used is `DEF_EQ_CORE`, matching
/// Lean/Lean4Lean's `whnfCore (cheapProj := true)` scaffold in def-eq.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
struct WhnfFlags {
  cheap_rec: bool,
  cheap_proj: bool,
}