package menhirLib

  1. Overview
  2. 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=015354590ebce7911b073beae57e7731
sha512=76f998c114a29b390f05e7b62e396d6957e748be3bb7fe918893ab3471a7a907764de4610e392916553113df0c6b09aa570425dcf86c6a3e9e17b0ae36f3fe2b

doc/menhirLib/MenhirLib/LinearizedArray/index.html

Module MenhirLib.LinearizedArraySource

Sourcetype 'a t = 'a array * int array
Sourceval make : 'a array array -> 'a t
Sourceval read : 'a t -> int -> int -> 'a
Sourceval write : 'a t -> int -> int -> 'a -> unit
Sourceval length : 'a t -> int
Sourceval row_length : 'a t -> int -> int
Sourceval read_row : 'a t -> int -> 'a list
Sourceval row_length_via : (int -> int) -> int -> int
Sourceval read_via : (int -> 'a) -> (int -> int) -> int -> int -> 'a
Sourceval read_row_via : (int -> 'a) -> (int -> int) -> int -> 'a list