module Json_position: Deriving_Json.Json with type a = position
Deriving_Json.Json
with type a = position