module Location: sig .. end
sig
end
module Datatype: Project.Datatype.S with type t = location
Project.Datatype.S
with type t = location