mathlib documentation

core / init.meta.json

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