Source file `libzipperposition_phases__.ml`

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

(** @canonical Libzipperposition_phases.Phases *)
module Phases = Libzipperposition_phases__Phases

(** @canonical Libzipperposition_phases.Phases_impl *)
module Phases_impl = Libzipperposition_phases__Phases_impl