Module Xed.FlagDFVSource

Sourcetype t = {
  1. dfv_of : bool;
  2. dfv_sf : bool;
  3. dfv_zf : bool;
  4. dfv_cf : bool;
}
Sourceval to_int : t -> int
Sourceval of_int : int -> t