Up  

Functor Paje.Make

module Make: 
functor (D : Definitions) -> S 
  with type container_type = D.container_type
  and type event_type = D.event_type
  and type state_type = D.state_type
  and type variable_type = D.variable_type
  and type link_type = D.link_type
Functor building a type-safe version of Pajé trace-recording functions. Definitions from the passed module are recorded at the "TRACE" level.
Parameters:
D : Definitions 
val t : string
type properties = (string * string) list 
type name = string 
type alias = string 
type color = float * float * float 
type container_type 
type state_type 
type event_type 
type variable_type 
type link_type 
type entity_value_type 
val create_container : name:name ->
       typ:container_type ->
       ?container:name ->
       ?alias:alias -> properties -> properties
val destroy_container : name:name ->
       typ:container_type -> properties -> properties
val set_state : typ:state_type ->
       container:name ->
       value:string -> properties -> properties
val push_state : typ:state_type ->
       container:name ->
       value:string -> properties -> properties
val pop_state : typ:state_type ->
       container:name -> properties -> properties
val reset_state : typ:state_type ->
       container:name -> properties -> properties
val new_event : typ:event_type ->
       container:name ->
       value:string -> properties -> properties
val set_variable : typ:variable_type ->
       container:name ->
       value:float -> properties -> properties
val add_variable : typ:variable_type ->
       container:name ->
       value:float -> properties -> properties
val sub_variable : typ:variable_type ->
       container:name ->
       value:float -> properties -> properties
val start_link : typ:link_type ->
       container:name ->
       start_container:name ->
       value:string -> key:string -> properties -> properties
val end_link : typ:link_type ->
       container:name ->
       end_container:name ->
       value:string -> key:string -> properties -> properties