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
|
