я работаю над финалом практики, есть проблема, попросите меня нарисовать дерево разбора для этого кода sml:

fun ff f x y = if (f x y) then (f 3 y) else (f x "zero")

val ff = fn : (int -> string -> bool) -> int -> string -> bool

Я понимаю, как получить этот тип, но не уверен, как нарисовать дерево разбора для его представления.

Для моей домашней работы мы сделали такой вопрос, который намного проще:изображение для моей другой домашней работы