对于提出这样一个微不足道的问题我感到有点惭愧,但在这里我走了.
我需要一个函数来增加一个全局定义的可变变量.
let seed_index = ref 0;;
let incr_seed() =
seed_index := !seed_index + 1;;
Run Code Online (Sandbox Code Playgroud)
但是,我无法让它在翻译中工作.
# incr_seed();;
- : unit = ()
# seed_index;;
- : int ref = {contents = 0}
Run Code Online (Sandbox Code Playgroud)