module InOutContext: sig .. end
sig
end
include Db.INOUT
type t' = Locations.Zone.t
Locations.Zone.t