mDefs.ml is a new file that will store data structures definition, including custom types, environment, function environment, type environment.
This task consists of moving those definitions from z3refinement.ml to mDefs.ml. Make sure that the z3refinement.ml code still runs properly after the changes.
Compiler refactoring task
mDefs.ml is a new file that will store data structures definition, including custom types, environment, function environment, type environment.
This task consists of moving those definitions from z3refinement.ml to mDefs.ml. Make sure that the z3refinement.ml code still runs properly after the changes.