Module `MenhirLib.General`

val take : int -> 'a list -> 'a list

val drop : int -> 'a list -> 'a list

val uniq : ('a -> 'a -> int) -> 'a list -> 'a list

val weed : ('a -> 'a -> int) -> 'a list -> 'a list

type 'a stream = 'a Ocaml_preprocess.MenhirLib.General.head Stdlib.Lazy.t

and 'a head =

val length : 'a Ocaml_preprocess.MenhirLib.General.stream -> int

val foldr : 
  ('a -> 'b -> 'b) ->
  'a Ocaml_preprocess.MenhirLib.General.stream ->
  'b ->
  'b

Module MenhirLib.General