bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module type Bap_primus . Std . Primus . Iterator . Infinite
include Base
type t

iterator type

type dom

iterator domain

val min : dom

minimum value in the iterator domain

val max : dom

maximum value in the iterator domain

val value : t -> dom

current value

val next : t -> t

next iterator moves the iterator to the next element of the sequence.