+val alpha_type: (string * string * string) list ref
+
+val alpha_sort: (string * string * string) list ref
+
+val alpha_gref: (string * string) list ref
+
+val macro_gref: (string * string * int * int) list ref
+
+val sigs_gref: (string * int * int) list ref
+