[Eva] Removes all evaluation functions [eval_*] and [lval_to_*] from Db.Value.
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 27 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 79 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/register.ml 0 additions, 327 deletionssrc/plugins/eva/register.ml
- src/plugins/eva/register.mli 1 addition, 6 deletionssrc/plugins/eva/register.mli
Loading
Please register or sign in to comment