package exenum

  1. Overview
  2. Docs

Module Exenum_internals.PartsSource

Sourcetype 'a part = {
  1. p_cardinal : Z.t;
  2. compute : Z.t -> 'a;
}
Sourceval empty_part : 'a part
Sourceval uninitialized_part : 'a part
Sourceval part_from_list : 'a list -> 'a part
Sourceval map_part : ('a -> 'b) -> 'a part -> 'b part
Sourceval union_parts : 'a part list -> 'a part
Sourceval product_parts : 'a part list -> 'a list part
OCaml

Innovation. Community. Security.