Library Stdlib.extraction.ExtrOcamlString

From Stdlib Require Extraction.

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

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