package jasmin

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

Module Jasmin.Remove_globals

module E : sig ... end
val merge_glob : Var0.Var.var -> Var0.Var.var option -> Var0.Var.var option -> Var0.Var.var option
type 'asm_op check2_r =
  1. | Check2_r of Expr.pexpr * Var0.Var.var Var0.Mvar.t * 'asm_op Expr.instr list * Var0.Var.var Var0.Mvar.t * 'asm_op Expr.instr list
type 'asm_op loop2_r =
  1. | Loop2_r of Expr.pexpr * 'asm_op Expr.instr list * 'asm_op Expr.instr list * Var0.Var.var Var0.Mvar.t