怎样从小白到kali入门( 二 )


let rec compare_as_inlined_location x y =
if x == y then 0
else
match (x, y) with
| Return {recursive= true; stk= x}, y
|x, Return {recursive= true; stk= y} -\u0026gt;
compare_as_inlined_location x y
| Return {dst= j; stk= x}, Return {dst= k; stk= y} -\u0026gt; (
match Llair.Jump.compare j k with
| 0 -\u0026gt; compare_as_inlined_location x y
| n -\u0026gt; n )
| Return _, _ -\u0026gt; -1
| _, Return _ -\u0026gt; 1
| Throw (j, x), Throw (k, y) -\u0026gt; (
match Llair.Jump.compare j k with
| 0 -\u0026gt; compare_as_inlined_location x y
| n -\u0026gt; n )
| Throw _, _ -\u0026gt; -1
| _, Throw _ -\u0026gt; 1
| Empty, Empty -\u0026gt; 0


推荐阅读