module PrintPetri: sig .. end
sig
end
val draw : string -> string -> Petri.t -> string -> unit
string -> string -> Petri.t -> string -> unit