Module Diffast_misc.LLL

type 'a cell = {
  1. mutable content : 'a;
  2. mutable prev : 'a cell;
  3. mutable next : 'a cell;
}
type 'a t = {
  1. mutable head : 'a cell;
  2. mutable length : int;
}
class 'a c : int -> object ... end