Library TLC.LibString

Set Implicit Arguments.
From TLC Require Import LibTactics LibReflect.
Require Export Coq.Strings.String.

Inhabited

Instance Inhab_string : Inhab string.
Proof using. apply (Inhab_of_val EmptyString). Qed.