Source file `windtrap_prop.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
(*---------------------------------------------------------------------------
   Copyright (c) 2026 Invariant Systems. All rights reserved.
   SPDX-License-Identifier: ISC
  ---------------------------------------------------------------------------*)

module Gen = Gen
module Arbitrary = Arbitrary
module Prop = Prop

let assume = Prop.assume
let reject = Prop.reject
let collect = Prop.collect
let classify = Prop.classify
let cover = Prop.cover