Library Imp_LangTrick.Base

From Coq Require Import String.

Definition ident := string.