(** %
\section{\label{sec:names}Names}

% *)
Module Export names.

Require Import Coq.MSets.MSets.
Require Import Coq.Structures.Orders.
Require Import Coq.Structures.OrdersAlt.

Require Export names.plain_names.
Require Export names.signed_names.

End names.