`val load_val : InferIR.Ident.t ‑> Dom.Val.astate ‑> Dom.Mem.astate ‑> Dom.Mem.astate`
`type decl_local``= InferIR.Typ.Procname.t ‑> node_hash:int ‑> InferBase.Location.t ‑> InferModules.AbsLoc.Loc.t ‑> InferIR.Typ.t ‑> inst_num:int ‑> dimension:int ‑> Dom.Mem.astate ‑> Dom.Mem.astate * int```
`val decl_local_array : decl_local:decl_local ‑> InferIR.Typ.Procname.t ‑> node_hash:int ‑> InferBase.Location.t ‑> InferModules.AbsLoc.Loc.t ‑> InferIR.Typ.t ‑> length:InferIR.IntLit.t option ‑> ?⁠stride:int ‑> inst_num:int ‑> dimension:int ‑> Dom.Mem.astate ‑> Dom.Mem.astate * int`
`type decl_sym_val``= InferIR.Typ.Procname.t ‑> InferIR.Tenv.t ‑> node_hash:int ‑> InferBase.Location.t ‑> depth:int ‑> InferModules.AbsLoc.Loc.t ‑> InferIR.Typ.t ‑> Dom.Mem.astate ‑> Dom.Mem.astate```
`val decl_sym_arr : decl_sym_val:decl_sym_val ‑> InferIR.Typ.Procname.t ‑> InferIR.Tenv.t ‑> node_hash:int ‑> InferBase.Location.t ‑> depth:int ‑> InferModules.AbsLoc.Loc.t ‑> InferIR.Typ.t ‑> ?⁠offset:InferModules.Itv.t ‑> ?⁠size:InferModules.Itv.t ‑> inst_num:int ‑> new_sym_num:InferModules.Itv.Counter.t ‑> new_alloc_num:InferModules.Itv.Counter.t ‑> Dom.Mem.astate ‑> Dom.Mem.astate`
`val init_array_fields : InferIR.Tenv.t ‑> InferIR.Typ.Procname.t ‑> node_hash:int ‑> InferIR.Typ.t ‑> InferModules.AbsLoc.PowLoc.t ‑> ?⁠dyn_length:InferIR.Exp.t ‑> Dom.Mem.astate ‑> Dom.Mem.astate`
`val set_dyn_length : InferIR.Tenv.t ‑> InferIR.Typ.t ‑> InferModules.AbsLoc.PowLoc.t ‑> InferModules.Itv.t ‑> Dom.Mem.astate ‑> Dom.Mem.astate`