Module Exenum_internals.ExenSource

Sourcetype '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;
}
Sourceval cardinal : 'a t -> Z.t option
Sourceval check_array_index : int -> 'a t -> bool
Sourceval get_part : 'a t -> int -> 'a Parts.part
Sourceval get_in_parts : 'a t -> Z.t -> int -> 'a
Sourceval get : 'a t -> Z.t -> 'a
Sourceval from_single_part : string Lazy.t -> 'a Parts.part -> 'a t
Sourceval from_list : ?name:string -> 'a list -> 'a t
Sourceval pay : 'a t Lazy.t -> 'a t
Sourceval map : 'a t -> ('a -> 'b) -> 'b t
Sourceval sub : max:Z.t -> 'a t -> 'a t
Sourceval sum_cardinals : Z.t -> 'a t list -> Z.t option
Sourceval infmax : 'a option -> 'a option -> 'a option
Sourceval max_parts : 'a t list -> int option
Sourceval union : 'a t list -> 'a t
Sourceval prod_cardinals : Z.t option -> 'a t list -> Z.t option
Sourceval find_vectors_aux : int -> int -> bool -> int list list -> int list -> int -> int list -> int list list
Sourceval find_vectors : int -> int list -> int list list
Sourceval vector_to_part_list : 'a t list -> int list -> 'a Parts.part list
Sourceval prod_parts : int -> 'a t list -> 'a list Parts.part
Sourceval product : 'a t list -> 'a list t