package search

  1. Overview
  2. Docs
type _ witness = ..
module type Tid = sig ... end
type 'a t = (module Tid with type t = 'a)
val make : unit -> (module Tid with type t = 's)
type ('a, 'b) teq =
  1. | Teq : ('a, 'a) teq
val eq : 'r 's. 'r t -> 's t -> ('r, 's) teq option
OCaml

Innovation. Community. Security.