package jasmin

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

Parameter Raw.I

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