Debugging 什么是星星？

在OCaml中使用

#trace

跟踪函数时，输出可能包括以下内容：

subRec --> <fun>
subRec* <-- "_1"
subRec* --> <fun>
subRec** <-- Var "_1"

subRec-->
次级建议*
subRec**这用于将部分应用程序的结果标记为货币
功能
设fxy=…
相当于
设fx=funy->…
：
应用
x
参数将返回一个新函数，该函数依次执行
要计算的
y
参数。第一个函数将被跟踪为
f
，
第二个（例如，由
f1
返回）标记为
f*

# let f x y = x + y;;
# #trace f;;
# f 1 2;;
f <-- 1
f --> <fun>
f* <-- 2
f* --> 3
- : int = 3
# let g = f 1;;
f <-- 1
f --> <fun>
val g : int -> int = <fun>
# g 2;;
f* <-- 2
f* --> 3
- : int = 3

#设fxy=x+y；；
##跟踪f；；
#f 1 2；；
F
f*3
-：int=3
#设g=f1；；
F
val g:int->int=
#G2；；
f*3
-：int=3