Source file `reduction.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Reduction.Eval *)
module Eval = Reduction__Eval

(** @canonical Reduction.Exec *)
module Exec = Reduction__Exec

(** @canonical Reduction.Simplified *)
module Simplified = Reduction__Simplified

(** @canonical Reduction.Value *)
module Value = Reduction__Value