path: root/test-suite/output/bug7191.out

type unit0 =
| Tt

(** val f : unit0 -> unit0 **)

let f _ =
  assert false (* absurd case *)