sig
  type lc_index = int array array
  val identifier_of_lc :
    ('a array array, int) Hashtbl.t -> (unit -> int) -> 'a array array -> int
  val build_lc_index :
    int array array -> int -> int -> Measure.Light_cones.lc_index
  val lcState_of_lcIndex :
    'a array array -> Measure.Light_cones.lc_index -> 'a array array
  type hackish_hastbl = { mutable size : int; }
  val hackish_hastbl_size : ('a, 'b) Hashtbl.t -> int
  val non_discarded_cell : int -> (int -> bool) -> int
  val lc_identifiers :
    Measure.Light_cones.lc_index array ->
    (Measure.Light_cones.lc_index -> 'a array array) -> int array * int
end