package jasmin

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

Module Jasmin.Wint_word

val wi2w_op1 : Expr.sop1 -> Expr.pexpr -> Expr.pexpr
val wi2w_op2 : Expr.sop2 -> Expr.sop2
val wi2w_e : Expr.pexpr -> Expr.pexpr
val wi2w_lv : Expr.lval -> Expr.lval
val wi2w_i : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> 'a1 Expr.instr
val wi2w_fun : 'a1 Sopn.asmOp -> ('a1, 'a2) Expr._fundef -> ('a1, 'a2) Expr._fundef
val wi2w_prog_internal : 'a1 Sopn.asmOp -> Expr.progT -> 'a1 Expr.prog -> 'a1 Expr.prog