package jasmin

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

Module Jasmin.Wint_int

module E : sig ... end
val wi2i_op2 : Operators.sop2 -> Operators.sop2
val wi2i_op1_e : Operators.sop1 -> Expr.pexpr -> Expr.pexpr
val sign_of_var : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Var0.Var.var -> Wsize.signedness option
val sign_of_gvar : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Expr.gvar -> Wsize.signedness option
val sign_of_expr : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Expr.pexpr -> Wsize.signedness option
val in_FV_var : Var0.SvExtra.Sv.t -> Var0.Var.var -> bool
val wi2i_type : Wsize.signedness option -> Type.atype -> Type.atype