pub fn is_whnf(&self) -> bool {
        match *self {
            Value::Universe(_)
            | Value::Literal(_)
            | Value::Pi(_)
            | Value::Lam(_)
            | Value::RecordType(_)
            | Value::Record(_)
            | Value::Array(_) => true,
            Value::Neutral(_, _) => false,
        }
    }
/// Returns `true` if the value is in weak head normal form
Returns `true` if the value is in weak head normal form
Returns ` true ` if the value is in weak head normal form
pub fn is_whnf(&self) -> bool {
        match *self {
            Value::Universe(_)
            | Value::Literal(_)
            | Value::Pi(_)
            | Value::Lam(_)
            | Value::RecordType(_)
            | Value::Record(_)
            | Value::Array(_) => true,
            Value::Neutral(_, _) => false,
        }
    }
pub fn is_whnf ( & self ) -> bool { match * self { Value :: Universe ( _ ) | Value :: Literal ( _ ) | Value :: Pi ( _ ) | Value :: Lam ( _ ) | Value :: RecordType ( _ ) | Value :: Record ( _ ) | Value :: Array ( _ ) => true , Value :: Neutral ( _ , _ ) => false , } }
Returns `true` if the value is in weak head normal form
Returns ` true ` if the value is in weak head normal form
&self
&self