Module Wiki_types.‚ÄčJson_wikibox

module Json_wikibox : Deriving_Json.Json