Module Flags.Biadd

type t = private int

type unpacked = {

1. nsw : bool;
2. nuw : bool;
3. nusw : bool;

}

val no_overflow : t

val pack : nsw:bool -> nuw:bool -> nusw:bool -> t

val unpack : t -> unpacked

val is_nsw : t -> bool

val is_nuw : t -> bool