我是 Ocaml 的新手,不明白这段代码在做什么
let global_vars : L.llvalue StringMap.t =
let global_var m (t, n) =
let init = match t with
A.Float -> L.const_float (ltype_of_typ t) 0.0
| _ -> L.const_int (ltype_of_typ t) 0
in StringMap.add n (L.define_global n init the_module) m in
List.fold_left global_var StringMap.empty globals in
StringMap.t 具体是做什么的?还有什么?“global_vars : L.llvalue StringMap.t”有什么作用?