mathlib documentation

core / init.meta.json

meta inductive json  :
Type
@[instance]
@[instance]
meta def json.int_coe  :
@[instance]
@[instance]
@[instance]
@[instance]
meta constant json.parse  :
meta constant json.unparse  :
meta def json.to_format  :
@[instance]
@[instance]
@[instance]
meta def json.has_repr  :