Quelle  Extraction_infix.out   Sprache: unbekannt

(** 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