package jasmin

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

Module Jasmin.Var0

type __ = Obj.t
module TFunName : sig ... end
val funname_eqType : Eqtype.Equality.coq_type
module Mf : sig ... end
module Sf : sig ... end
type funname = CoreIdent.funname
val get_fundef : (funname * 'a1) list -> funname -> 'a1 option
module MvMake (I : Ident.IDENT) : sig ... end
module Var : sig ... end
val is_glob_var : Var.var -> bool
val is_inline_var : Var.var -> bool
val is_var_in_memory : Var.var -> bool
val is_ptr : Var.var -> bool
val is_reg_ptr : Var.var -> bool
val is_regx : Var.var -> bool
val is_reg_array : Var.var -> bool
module CmpVar : sig ... end
module SExtra (T : Gen_map.CmpType) : sig ... end
module SvExtra : sig ... end
module Mvar : sig ... end