(c : Lean.Compiler.LCNF.Cases Lean.Compiler.LCNF.Purity.pure) →
  (uintName : Lean.Name) →
    (c.typeName == uintName) = true →
      Lean.Compiler.LCNF.ToMonoM (Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure)