Source file windtrap_prop__.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* generated by dune *)

(** @canonical Windtrap_prop.Arbitrary *)
module Arbitrary = Windtrap_prop__Arbitrary

(** @canonical Windtrap_prop.Gen *)
module Gen = Windtrap_prop__Gen

(** @canonical Windtrap_prop.Prop *)
module Prop = Windtrap_prop__Prop

(** @canonical Windtrap_prop.Shrink *)
module Shrink = Windtrap_prop__Shrink

(** @canonical Windtrap_prop.Tree *)
module Tree = Windtrap_prop__Tree

module Windtrap_prop__ = struct end
[@@deprecated "this module is shadowed"]