binder_restrictions : unit -> (string * string) list
associate_restriction("DURING","RES_DURING"); () : unit binder_restrictions(); [("DURING","RES_DURING"),("!","RES_FORALL"),("?","RES_EXISTS"), ("@","RES_SELECT"),("\\","RES_ABSTRACT")] : (string * string) list