package jasmin

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

Module Int.Z_as_Int

type t = BinNums.coq_Z
val _0 : BinNums.coq_Z
val _1 : BinNums.coq_Z
val _2 : BinNums.coq_Z
val _3 : BinNums.coq_Z
val eqb : BinNums.coq_Z -> BinNums.coq_Z -> bool
val ltb : BinNums.coq_Z -> BinNums.coq_Z -> bool
val leb : BinNums.coq_Z -> BinNums.coq_Z -> bool
val eq_dec : BinNums.coq_Z -> BinNums.coq_Z -> bool
val gt_le_dec : BinNums.coq_Z -> BinNums.coq_Z -> bool
val ge_lt_dec : BinNums.coq_Z -> BinNums.coq_Z -> bool
val i2z : t -> BinNums.coq_Z