prbnmcn-basic-structures
Lang.Loop
include module type of struct include Empty end
type 'a m = 'a
'a m is the type of programs computing a value of type 'a
'a m
'a
type index = int
val for_ : start:int -> stop:int -> (int -> 'a) -> unit
val while_ : cond:(unit -> bool) -> (unit -> 'a) -> unit