Module type Paje.Definitions

module type Definitions = sig .. end

The input signature of Paje.Make, that is static definition of Pajé types.

val logger : string

The name of the logger used to register definitions.

val level : Level.t

The level used to register definitions.

type container_type

The type of containers, typically a sum type.

val container_types : (container_type * Paje.name *
        container_type option * Paje.alias)
       list

The definition of container types: value, name, optional parent, and alias.

type state_type

The type of states, typically a sum type.

val state_types : (state_type * Paje.name * container_type *
        Paje.alias)
       list

The definition of event types: value, name, container, and alias.

type event_type

The type of events, typically a sum type.

val event_types : (event_type * Paje.name * container_type *
        Paje.alias)
       list

The definition of event types: value, name, container, and alias.

type variable_type

The type of states, typically a sum type.

val variable_types : (variable_type * Paje.name *
        container_type * Paje.color * Paje.alias)
       list

The definition of variable types: value, name, container, color, and alias.

type link_type

The type of links, typically a sum type.

val link_types : (link_type * Paje.name * container_type *
        container_type * container_type *
        Paje.alias)
       list

The definition of link types: value, name, parent container, start container, end container, and alias.

type entity_value_type

The type of entity values, typically a sum type.

val entity_value_types : (entity_value_type * Paje.name *
        container_type * Paje.color * Paje.alias)
       list

The definition of entity value types: value, name, parent container, color, and alias.