Module ExtractPthread.Codegen

module PmlResTbl : sig ... end

PmlResTbl module maps resources to unique ids used as prefix for edge labeling

module AdjacencyMatrix : sig ... end
module Action : sig ... end
module Writer : sig ... end
val tabulate : string -> string
val define : string -> string
val goto_str : string -> string
val escape : string list -> string list
val if_clause : string list -> string list
val run : ?arg:string -> string -> string
val string_of_node : CilType.Location.t -> string
val save_promela_model : unit -> unit