package jasmin

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

Module Jasmin.CoreConvSource

Sourceval pos_of_z : Z.t -> BinNums.positive
Sourceval z_of_pos : BinNums.positive -> Z.t
Sourceval cz_of_z : Z.t -> BinNums.coq_Z
Sourceval z_of_cz : BinNums.coq_Z -> Z.t
Sourceval cz_of_int : int -> BinNums.coq_Z
Sourceval int_of_cz : BinNums.coq_Z -> int