(* Example of a function that typechecks because Stardust does not
   check code that it determines to be dead (the case arm `false => () ()') *)
;
(*[  val f : bool(true) -> int  ]*)
fun f x = case x of true => 0 | false => ()()