package jasmin

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

Module Jasmin.ConvSource

Sourceval z_of_nat : Datatypes.nat -> Z.t
Sourceval int_of_nat : Datatypes.nat -> int
Sourceval nat_of_int : int -> Datatypes.nat
Sourceval pos_of_int : int -> BinNums.positive
Sourceval cz_of_int : int -> BinNums.coq_Z
Sourceval int_of_pos : BinNums.positive -> int
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 word_of_z : Wsize.wsize -> Z.t -> Obj.t
Sourceval int64_of_z : Z.t -> Obj.t
Sourceval int32_of_z : Z.t -> Obj.t
Sourceval z_of_int256 : Obj.t -> Z.t
Sourceval z_of_int128 : Obj.t -> Z.t
Sourceval z_of_int64 : Obj.t -> Z.t
Sourceval z_of_int32 : Obj.t -> Z.t
Sourceval z_of_int16 : Obj.t -> Z.t
Sourceval z_of_int8 : Obj.t -> Z.t
Sourceval z_of_word : Wsize.wsize -> Obj.t -> Z.t
Sourceval z_unsigned_of_word : Wsize.wsize -> Obj.t -> Z.t
Sourceval cty_of_ty : Prog.ty -> Type.stype
Sourceval ty_of_cty : Type.stype -> Prog.ty
Sourceval cvar_of_var : Prog.var -> Var0.Var.var
Sourceval var_of_cvar : Var0.Var.var -> Prog.var
Sourceval lval_of_clval : Expr.lval -> Prog.lval
Sourceval cexpr_of_expr : Prog.expr -> Expr.pexpr
Sourceval expr_of_cexpr : Expr.pexpr -> Prog.expr
Sourceval cufdef_of_fdef : (unit, 'asm) Prog.func -> Var0.funname * 'asm Expr._ufundef
Sourceval fdef_of_cufdef : (Var0.funname * 'asm Expr._ufundef) -> (unit, 'asm) Prog.func
Sourceval cuprog_of_prog : (unit, 'asm) Prog.prog -> 'asm Expr._uprog
Sourceval prog_of_cuprog : 'asm Expr._uprog -> (unit, 'asm) Prog.prog
Sourceval csfdef_of_fdef : ('info, 'asm) Prog.sfundef -> Var0.funname * 'asm Expr._sfundef
Sourceval fdef_of_csfdef : (Var0.funname * 'asm Expr._sfundef) -> (unit, 'asm) Prog.sfundef
Sourceval prog_of_csprog : 'asm Expr._sprog -> (unit, 'asm) Prog.sprog