vera-rvm-functions

vera-rvm-functions is a variable defined in `vera-mode.el'.
Its value is

("extern_rvm_atomic_gen" "extern_rvm_channel" "extern_rvm_scenario_gen" "rvm_OO_callback" "rvm_atomic_gen" "rvm_atomic_gen_callbacks_decl" "rvm_atomic_gen_decl" "rvm_atomic_scenario_decl" "rvm_channel" "rvm_channel_" "rvm_channel_decl" "rvm_command" "rvm_cycle" "rvm_debug" "rvm_error" "rvm_fatal" "rvm_note" "rvm_protocol" "rvm_report" "rvm_scenario_decl" "rvm_scenario_election_decl" "rvm_scenario_gen" "rvm_scenario_gen_callbacks_decl" "rvm_scenario_gen_decl" "rvm_trace" "rvm_transaction" "rvm_user" "rvm_verbose" "rvm_warning")

• This variable may be risky if used as a file-local variable.

Documentation:
List of Vera-RVM functions.