🡠 bap-primus

The BAP Microexecution Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bap_primus
Module type Bap_primus . Std . Primus . Iterator . 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