7 lines
145 B
Text
7 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 *)
|