def DocGen4.Process.AxiomInfo.ofAxiomVal (v : Lean.AxiomVal) : Lean.MetaM AxiomInfo

Equations

• DocGen4.Process.AxiomInfo.ofAxiomVal v = do let info ← DocGen4.Process.Info.ofConstantVal v.toConstantVal pure { toInfo := info, isUnsafe := v.isUnsafe }