Var0 (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Var0)

type __ = Obj.t

module FunName : Tagged.TaggedCore

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