package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Total_map.EnumerationSource

Sourcetype ('a, 'witness) t = private {
  1. all : 'a list;
}
Sourcemodule type S = sig ... end
Sourcemodule type S_fc = sig ... end
Sourcemodule Make (T : sig ... end) : S with type t := T.t
Sourceval make : all:'a list -> (module S_fc with type enumerable_t = 'a)