Value is an abstract class that is used to instantiate placeholders
in the generated IR.
Take the following code snippet as an example of the IR:
mapping(T1 => T2) M V m;
In which T1, T2, M and V are all placeholders.
In the solving process, the solver will replace these placeholders
with actual values, which are type, type, storage location and
visibility respectively.
Value is an abstract class that is used to instantiate placeholders in the generated IR.
Take the following code snippet as an example of the IR:
In which
T1,T2,MandVare all placeholders. In the solving process, the solver will replace these placeholders with actual values, which are type, type, storage location and visibility respectively.Param: kind
The kind of the Value.