package menhirLib

  1. Overview
  2. No Docs
Runtime support library for parsers generated by Menhir

Install 

dune-project
 Dependency

gitlab.inria.fr Edit opam file Versions (27)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=d39a8943fe1be28199e5ec1f4133504c
sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd

doc/menhirLib/MenhirLib/General/index.html

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