package exenum

  1. Overview
  2. Docs
package exenum
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t = {
  1. cardinal : Z.t option;
  2. n_parts : int option;
  3. parts : 'a Parts.part ExtArray.t;
  4. new_part : int -> 'a Parts.part;
  5. title : string Lazy.t;
}
val cardinal : 'a t -> Z.t option
val check_array_index : int -> 'a t -> bool
val get_part : 'a t -> int -> 'b Parts.part
val get_in_parts : 'a t -> Z.t -> int -> 'b
val get : 'a t -> Z.t -> 'b
val from_single_part : string Lazy.t -> 'a Parts.part -> 'b t
val from_list : ?name:string -> 'a list -> 'b t
val pay : 'a t Lazy.t -> 'b t
val map : 'a t -> ('b -> 'c) -> 'd t
val sub : max:Z.t -> 'a t -> 'b t
val sum_cardinals : Z.t -> 'a t list -> Z.t option
val infmax : 'a option -> 'b option -> 'c option
val max_parts : 'a t list -> int option
val union : 'a t list -> 'b t
val prod_cardinals : Z.t option -> 'a t list -> Z.t option
val find_vectors_aux : int -> int -> bool -> int list list -> int list -> int -> int list -> int list list
val find_vectors : int -> int list -> int list list
val vector_to_part_list : 'a t list -> int list -> 'a Parts.part list
val prod_parts : int -> 'a t list -> 'b list Parts.part
val product : 'a t list -> 'b list t