aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Extraction_infix.out
blob: 29d50775a9290bd7f56f46ddaa61facb9ea6dcdc (plain)
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