test-suite/output/Extraction_infix.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

(** val test : foo **)

let test =
  (fun (b, p) -> bar) (True, False)
(** val test : foo **)

let test =
  True@@?False
(** val test : foo **)

let test =
  True#^^False
(** val test : foo **)

let test =
  True@?:::False
(** val test : foo **)

let test =
  True  @?:::  False