Source file `types.ml`

trace
- CHANGES
- README
- Library trace
  - Trace
- Library trace.core
  - Trace_core
- Library trace.event
  - Trace_event
- Library trace.private
- Library trace.subscriber
  - Trace_subscriber
- Library trace_private_util
  - Trace_private_util
- Sources
  - trace
    - trace.ml
  - trace.core
  - trace.event
  - trace.subscriber
  - trace_private_util

1
2
3
4
5
6
7
8
9
10
11
12
13
(** Some core types for subscribers. *)

type user_data =
  | U_bool of bool
  | U_float of float
  | U_int of int
  | U_none
  | U_string of string
      (** A non polymorphic-variant version of {!Trace_core.user_data} *)

type flavor =
  | Sync
  | Async  (** A non polymorphic-variant version of {!Trace_core.flavor} *)