Source file `liquid_interpreter.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Liquid_interpreter.Interpreter *)
module Interpreter = Liquid_interpreter__Interpreter

(** @canonical Liquid_interpreter.Interpreter_objects *)
module Interpreter_objects = Liquid_interpreter__Interpreter_objects