package search

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Private.Witness`Source

Sourcetype _ witness = ..

Sourcemodule type Tid = sig ... end

Sourcetype 'a t = (module Tid with type t = 'a)

Sourceval make : unit -> (module Tid with type t = 's)

Sourcetype ('a, 'b) teq =

Sourceval eq : 'r 's. 'r t -> 's t -> ('r, 's) teq option