Module Wiki_types.‚ÄčJson_wikibox_arg

module Json_wikibox_arg : Deriving_Json.Json