Documentation

Batteries.Lean.Json

source
instance instOfScientificJsonNumber_batteries :
OfScientific Lean.JsonNumber
Equations
    source
    instance instNegJsonNumber_batteries :
    Neg Lean.JsonNumber
    Equations
      source
      instance instToJsonFloat_batteries :
      Lean.ToJson Float
      Equations