Module Wiki_types.‚ÄčJson_wiki_arg

module Json_wiki_arg : Deriving_Json.Json