(** * Schema: attribute name type *)

From Stdlib Require Import String.

Definition attr_name := string.