Library Stdlib.extraction.ExtrOcamlString

Require Stdlib.extraction.Extraction.

Require Import Ascii String Stdlib.Strings.Byte.
Require Export ExtrOcamlChar.

Extract Inductive string => "char list" [ "[]" "(::)" ].