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  :