include module type of Graph_sig module Make(L: OrderedType): S with type label = L.t