package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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