Module Wiki_types.​Json_wikibox_arg

module Json_wikibox_arg : Deriving_Json.Json