Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » CoreConv

Module `Jasmin.CoreConv`Source

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