Source file `libzipperposition_induction__.ml`

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

(** @canonical Libzipperposition_induction.Induction_intf *)
module Induction_intf = Libzipperposition_induction__Induction_intf

(** @canonical Libzipperposition_induction.Test_prop *)
module Test_prop = Libzipperposition_induction__Test_prop