include "basics/types.ma".

include "ASM/BitVectorTrie.ma".
include "common/Identifiers.ma".

axiom LabelTag : String.

definition label ≝ identifier LabelTag.

definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.

definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.