Theory AEnv

theory AEnv
imports "Arity" "Vars" "Env"
begin

(* TODO: This could mostly be a Env-Nominal module *)

type_synonym AEnv = "var ⇒ Arity⇩⊥"


end