Module Exenum_internals.ExenSource

Sourcetype 'a t = {
  1. cardinal : Big_int.big_int 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 -> Big_int.big_int option
Sourceval check_array_index : int -> 'a t -> bool
Sourceval get_part : 'a t -> int -> 'a Parts.part
Sourceval get_in_parts : 'a t -> Big_int.big_int -> int -> 'a
Sourceval get : 'a t -> Big_int.big_int -> '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:Big_int.big_int -> 'a t -> 'a t
Sourceval sum_cardinals : Big_int.big_int -> 'a t list -> Big_int.big_int 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 : Big_int.big_int option -> 'a t list -> Big_int.big_int 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