Module Data_for_aorai.Aorai_typed_trans

module Aorai_typed_trans: Datatype.Make_with_collections(sig
val name : string
type t = (Promelaast.typed_condition * Promelaast.action) Promelaast.trans 
val structural_descr : Structural_descr.t
val reprs : (Promelaast.typed_condition * Promelaast.single_action list) Promelaast.trans
list
val equal : 'a Promelaast.trans -> 'b Promelaast.trans -> bool
val hash : 'a Promelaast.trans -> int
val rehash : 'a -> 'a
val compare : 'a Promelaast.trans -> 'b Promelaast.trans -> int
val copy : 'a -> 'a
val internal_pretty_code : 'a -> 'b
val pretty : Format.formatter ->
(Promelaast.typed_condition * Promelaast.action) Promelaast.trans -> unit
val varname : 'a -> 'b
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
end)

include Datatype.S
module Set: Datatype.Set  with type elt = t
module Map: Datatype.Map  with type key = t
module Hashtbl: Datatype.Hashtbl  with type key = t