codex.units
Units.In_bytes
Sizes and offsets in bytes.
Type_parser
codex
codex.bdd
codex.binarytrace
codex.cfg
codex.codex_config
codex.codex_log
codex.compressor
codex.condition_map
codex.datatype_sig
codex.domains
codex.emit_alarm
codex.extstdlib
codex.file_to_html
codex.fixpoint
codex.framac_ival
codex.gui
codex.hashing
codex.het-hashtbl
codex.hook
codex.int_builtins
codex.interval_map
codex.lattices
codex.online_nearest_common_ancestor_skiplist
codex.operator
codex.record_time
codex.single_value_abstraction
codex.smallmap
codex.smtbackend
codex.stats
codex.syntax_tree
codex.terms
codex.tracelog
codex.treemap
codex.types
codex.union_find
codex.utils
codex.while_ast
codex.whilelib
immutable_array
interface
ppx_while
type_parse_tree
include Unit
type t = private int
val compare : t -> t -> int
val of_int : int -> t
val to_int : t -> int
val (+) : t -> t -> t
val (-) : t -> t -> t
val (<=) : t -> t -> bool
val (<) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val zero : t
val one : t
val in_bits : t -> In_bits.t
val times : int -> t -> t
times k x is k*x. This is useful when multiplying array length with the size of array elements. Don't use this for conversion to sizes in bits.
times k x
k*x