module Misc: sig .. end
Library functions and miscellaneous routines
val formatter : Format.formatter Pervasives.ref
val pp : ('a, Format.formatter, unit) Pervasives.format -> 'a
module StringSet: Set.S with type elt = string
module StringMap: Map.S with type key = string
val identity : 'a -> 'a
The identity function
val (|>) : 'a -> ('a -> 'b) -> 'b
Reverse function application
val (|>>) : 'a -> ('a -> unit) -> 'a
Reverse function application and return its argument
val (>>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
Reverse function composition
val (>>=) : 'a option -> ('a -> 'b option) -> 'b option
Option monad bind
module List: sig .. end
Operations on linked lists
Components
Components can be compared using pointer equality
type
val component_is_field : component -> bool
val component_of_string : string -> component
val string_of_component : component -> string
val string_of_field_component : component -> string
val compare_component : component -> component -> int
val compare_components : component list -> component list -> int
val node_component : component
val list_link_tag : component
val list_data_tag : component
val dl_Llink_tag : component
val dl_Rlink_tag : component
val tree_link_tags : component * component
val tree_data_tag : component
val is_value_field : component -> bool
val is_lock_field : component -> bool
val possible_link_fields : component list Pervasives.ref
module CompSet: Set.S with type elt = component
Packed association lists
type ('a, 'b) plist =
| |
PNil |
| |
PCons of 'a * 'b * ('a, 'b) plist |
module PList: sig .. end
Packed association lists