sig
  val t : string
  type variable
  type properties = (string * string) list
  type 'a variable_builder = string -> 'a -> Daikon.variable
  val bool : bool Daikon.variable_builder
  val bool_option : bool option Daikon.variable_builder
  val bool_list : bool list Daikon.variable_builder
  val bool_array : bool array Daikon.variable_builder
  val int : int Daikon.variable_builder
  val int_option : int option Daikon.variable_builder
  val int_list : int list Daikon.variable_builder
  val int_array : int array Daikon.variable_builder
  val float : float Daikon.variable_builder
  val float_option : float option Daikon.variable_builder
  val float_list : float list Daikon.variable_builder
  val float_array : float array Daikon.variable_builder
  val string : string Daikon.variable_builder
  val string_option : string option Daikon.variable_builder
  val string_list : string list Daikon.variable_builder
  val string_array : string array Daikon.variable_builder
  val make_variable_builder :
    ('a -> Daikon.variable list) -> 'a Daikon.variable_builder
  val tuple2 :
    'a Daikon.variable_builder ->
    'b Daikon.variable_builder -> ('a * 'b) Daikon.variable_builder
  val tuple3 :
    'a Daikon.variable_builder ->
    'b Daikon.variable_builder ->
    'c Daikon.variable_builder -> ('a * 'b * 'c) Daikon.variable_builder
  val tuple4 :
    'a Daikon.variable_builder ->
    'b Daikon.variable_builder ->
    'c Daikon.variable_builder ->
    'd Daikon.variable_builder -> ('a * 'b * 'c * 'd) Daikon.variable_builder
  val tuple5 :
    'a Daikon.variable_builder ->
    'b Daikon.variable_builder ->
    'c Daikon.variable_builder ->
    'd Daikon.variable_builder ->
    'e Daikon.variable_builder ->
    ('a * 'b * 'c * 'd * 'e) Daikon.variable_builder
  val point : string -> Daikon.variable list -> Daikon.properties
  val enter : string -> Daikon.variable list -> Daikon.properties
  val exit :
    string -> Daikon.variable -> Daikon.variable list -> Daikon.properties
  val decls_header : string list
  val decls_render : Event.t -> string
  val dtrace_header : string list
  val dtrace_render : Event.t -> string
  val layout_decls : Layout.t
  val layout_dtrace : Layout.t
end