package provider

  1. Overview
  2. Docs

Representing an implementation for a trait.

type ('t, 'module_type, 'tag) trait := ('t, 'module_type, 'tag) t
type _ t = private
  1. | T : {
    1. trait : ('t, 'module_type, _) trait;
    2. impl : 'module_type;
    } -> 't t

Dump & debug

val uid : _ t -> Uid.t
val info : _ t -> Info.t