Method ty

crates/kernel/src/lctx.rs:44–48

(&self)

impl<M: KernelMode> LocalDecl<M> {
  pub fn ty(&self) -> &KExpr<M> {
    match self {
      LocalDecl::CDecl { ty, .. } | LocalDecl::LDecl { ty, .. } => ty,
    }
  }

  pub fn name(&self) -> &M::MField<Name> {
    match self {