path: root/proof/Schema.v

(** * Schema: attribute name type *)

From Stdlib Require Import String.

Definition attr_name := string.