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