Module Wiki_types.​Json_wikipage_arg

module Json_wikipage_arg : Deriving_Json.Json