Module SpecialVariables

module SpecialVariables: sig .. end

Module to store the special variables which are used to store registers in contexts

val eax_reg : string

Variable name of the register EAX

val ebx_reg : string

Variable name of the register EBX

val ecx_reg : string

Variable name of the register ECX

val edx_reg : string

Variable name of the register EDX

val is_register : string -> bool

Is a variable name a register's one

Returns Is vn the name of a register