package jasmin

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

Module Jasmin.Lowering

type fresh_vars = string -> Type.stype -> Ident.Ident.ident
val disj_fvars : Var0.SvExtra.Sv.t -> Var0.SvExtra.Sv.t -> bool
val fvars_correct : 'a1 Sopn.asmOp -> Expr.progT -> Ident.Ident.ident list -> Var0.SvExtra.Sv.t -> 'a1 Expr.fun_decl list -> bool
val is_lval_in_memory : Expr.lval -> bool