Module Wiki_types.‚ÄčJson_wiki

module Json_wiki : Deriving_Json.Json