Library Coq.extraction.ExtrOcamlString

Require Coq.extraction.Extraction.

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

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