Skip to content

Dev trace

Dassire requested to merge dev_trace into main
  • Moved print to trace
  • Updated preload and added Functions.in_stdlib function
  • Replace some failwith with Exceptions
  • Commented eval.ml, label.ml, trace.ml

Merge request reports