package provider

  1. Overview
  2. Docs

Module Private.Trait0Source

Sourcetype ('t, 'module_type, 'tag) t
Sourcemodule Create (X : sig ... end) : sig ... end
Sourcemodule Create0 (X : sig ... end) : sig ... end
Sourcemodule Create1 (X : sig ... end) : sig ... end
Sourcemodule Create2 (X : sig ... end) : sig ... end
Sourceval uid : (_, _, _) t -> int

Return a id that is unique to this trait for the lifetime of the program.

Sourceval same_witness : ('t, 'mt1, _) t -> ('t, 'mt2, _) t -> ('mt1, 'mt2) Provider__.Type_eq_opt.t
Sourceval same : (_, _, _) t -> (_, _, _) t -> bool