Module MenhirLib.GeneralSource

Sourceval take : int -> 'a list -> 'a list
Sourceval drop : int -> 'a list -> 'a list
Sourceval uniq : ('a -> 'a -> int) -> 'a list -> 'a list
Sourceval weed : ('a -> 'a -> int) -> 'a list -> 'a list
Sourcetype 'a stream = 'a head Lazy.t
Sourceand 'a head =
  1. | Nil
  2. | Cons of 'a * 'a stream
Sourceval length : 'a stream -> int
Sourceval foldr : ('a -> 'b -> 'b) -> 'a stream -> 'b -> 'b