Home

Module NotationLightHeader

Notation evtr := (evtr sem) (only parsing).
Notation trace := (trace evtr) (only parsing).
Notation hier := (Program.hierarchy prog) (only parsing).
Notation aux_constr_state_key_eq_dec := (aux_constr_state_key_eq_dec (A := A)) (only parsing).
Notation relptr_gt := (relptr_gt hier) (only parsing).