prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
Module type Basic_structures . Basic_intf . Lang . Loop
type 'a m
type index

The type of loop indices.

val for_ : start:index m -> stop:index m -> ( index m -> unit m ) -> unit m

for_ ~start ~stop f is a for loop, iterating f in the interval [start;stop] in order.

val while_ : cond:( unit -> bool m ) -> ( unit -> unit m ) -> unit m

While loop.