partial_ghost_fun.mlw 54 Bytes
Newer Older
1 2
val partial random () : int
let ghost f () = random ()