8 lines
145 B
Text
8 lines
145 B
Text
|
let do_while f p =
|
||
|
|
let rec loop() =
|
||
|
|
f();
|
||
|
|
if p() then loop()
|
||
|
|
in
|
||
|
|
loop()
|
||
|
|
(** val do_while : (unit -> 'a) -> (unit -> bool) -> unit *)
|