Library Stdlib.extraction.ExtrOCamlPArray


Extraction to OCaml of persistent arrays.

From Stdlib Require PArray Extraction.

Primitive types and operators.
Extract Constant PrimArray.array "'a" => "'a Parray.t".
Extraction Inline PrimArray.array.

Extract Constant PrimArray.make => "Parray.make".
Extract Constant PrimArray.get => "Parray.get".
Extract Constant PrimArray.default => "Parray.default".
Extract Constant PrimArray.set => "Parray.set".
Extract Constant PrimArray.length => "Parray.length".
Extract Constant PrimArray.copy => "Parray.copy".