jasmin.jasmin
Raw.I
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type t
val i2z : t -> BinNums.coq_Z
val _0 : t
val _1 : t
val _2 : t
val _3 : t
val add : t -> t -> t
val opp : t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val max : t -> t -> t
val eqb : t -> t -> bool
val ltb : t -> t -> bool
val leb : t -> t -> bool
val gt_le_dec : t -> t -> bool
val ge_lt_dec : t -> t -> bool
val eq_dec : t -> t -> bool