package owee

  1. Overview
  2. Docs
type !'result service = ..
type service +=
  1. | Name : string service
  2. | Traverse : ((Obj.t -> 'acc -> 'acc) -> 'acc -> 'acc) service
  3. | Locate : Owee_location.t list service
type !'a service_result =
  1. | Success of 'a
  2. | Unsupported_service
  3. | Unmanaged_object
type 'a marked
val get : 'a marked -> 'a
val query_service : 'a -> 'result service -> 'result service_result
type cycle
val start_cycle : unit -> cycle
val end_cycle : cycle -> unit
val mark_seen : cycle -> Obj.t -> [ `Already_seen of int | `Now_seen of int | `Unmanaged ]
val seen : cycle -> Obj.t -> [ `Not_seen | `Seen of int | `Unmanaged ]
val fresh_name : unit -> int
module type T0 = sig ... end
module Safe0 (M : T0) : sig ... end
type 'a marker
module Unsafe0 (M : T0) : sig ... end
module type T1 = sig ... end
module type T2 = sig ... end
module type T3 = sig ... end
module Safe1 (M : T1) : sig ... end
module Safe2 (M : T2) : sig ... end
module Safe3 (M : T3) : sig ... end
module Unsafe1 (M : T1) : sig ... end
module Unsafe2 (M : T2) : sig ... end
module Unsafe3 (M : T3) : sig ... end
OCaml

Innovation. Community. Security.