mathlib3 documentation

core / init.meta.json

@[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  :
@[protected, instance]
@[protected, instance]
@[protected, instance]
meta def json.has_repr  :
@[protected, instance]