Source file `Assert.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# 1 "extracted/Assert.ml"

type __ = Obj.t
let __ = let rec f _ = Obj.repr f in Obj.repr f

module type Inhabited =
 sig
  type t

  val dummy : t
 end

module Assert =
 functor (M:Inhabited) ->
 struct
  (** val coq_assert : bool -> (__ -> M.t) -> M.t **)

  let coq_assert x f =
    if x then f __ else M.dummy
 end