Module Flags.BiaddSource

Sourcetype t = private int
Sourcetype unpacked = {
  1. nsw : bool;
  2. nuw : bool;
  3. nusw : bool;
}
Sourceval no_overflow : t
Sourceval pack : nsw:bool -> nuw:bool -> nusw:bool -> t
Sourceval unpack : t -> unpacked
Sourceval is_nsw : t -> bool
Sourceval is_nuw : t -> bool