module SG: sig .. end
sig
end
include Graph.Sig.G
type tt = t
t
module Datatype: Project.Datatype.S with type t = tt
Project.Datatype.S
with type t = tt