package piqilib

  1. Overview
  2. Docs
package piqilib
Legend:
Library
Module
Module type
Parameter
Class
Class type
module U = Piqi_util
type loc = string * int * int
val check : bool ref
val trace : bool ref
val crash_on_error : bool ref
exception Piqloc_not_found
val is_paused : int ref
val pause : unit -> unit
val resume : unit -> unit
val icount : int ref
val ocount : int ref
type t =
  1. | Loc of loc
  2. | Ref of Obj.t
val db : (Obj.t * t) list ref
val preserved_db : (Obj.t * t) list ref
val preserved_count : int ref
val list_assq_return_tail : 'a -> ('a * 'b) list -> 'b * ('a * 'b) list
val find_in_db : 'a -> (Obj.t * t) list -> trace:bool -> loc
val find : ?trace:bool -> 'a -> loc
val lastloc : (string * int * int) ref
val setloc : (string * int * int) -> unit
val add : 'a -> unit
val addloc : (string * int * int) -> 'a -> unit
val addret : 'a -> 'a
val addlocret : (string * int * int) -> 'a -> 'a
val reset : unit -> unit
val preserve : unit -> unit
val do_check_loc : ?trace:bool -> 'a -> unit
val do_add_fake_loc : ?label:string -> 'a -> unit
val add_fake_loc : ?label:string -> 'a -> unit
val check_loc : 'a -> unit
val is_paused_once : bool ref
val pause_once : unit -> unit
val addref : 'a -> 'b -> unit
val addrefret : 'a -> 'b -> 'b
val reference : ('a -> 'b) -> 'a -> 'b
val next_icount : unit -> int
val next_ocount : unit -> int