Search the docs

/

API Tools Playground

Json module

Types

Json_Error_Kind Json_Error Json_Duplicate_Keys Json_Options Json_Presence Json_Maybe Json_Index_Stats Json_Fill Json_Source Json_Kind Json_Value Json_Member Json_Writer Json_Reader Object_Status Array_Status Query_Pair

On this page

Members See also

std / Extensions / Json / Object_Status

Object_Status

Members

ERROR
KEY
END

See also

Json_Writer Json_Reader Array_Status Query_Pair

jacket doc 0.31.0