CamlinternalMenhirLib.General(3o)

NAME
CamlinternalMenhirLib.General - no description

Module
Module CamlinternalMenhirLib.General

Documentation

Module General
 : sig end

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 head Lazy.t

type 'a head =
 | Nil
 | Cons of 'a * 'a stream

val length : 'a stream -> int

val foldr : ('a -> 'b -> 'b) -> 'a stream -> 'b -> 'b