package owee

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'result service = ..

type service +=

type !'a service_result =

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