Operational Semantics It's Ocaml Question 4. Derivations Fill in the blanks in the derivation tree for evaluating let x = 8 in 3 > x 4.

Blank 1:

Blank 2:

Blank 3:

Blank 4:

Blank 5:

Blank 6:

A;falsefalsee1n1A;e2n2visn1>n2A;e1>e2vA;ife1thene2elsee3vA;e1trueA;e2v(6A;e1e2v4;e1n1A;e2n2visn1n2(7)A;ife1thene2elsee3vA;e1falseA;e3vA;letx=e1ine2v2A;e1v1A,x:v1;e2v2(9) (1) A;truetrue (2) A;nn (3) A;xvA(x)=v (4) Figure 1: Operational Semantics 4;88 A,x:8;x81 4 is 84 A,x:8; A,x:8;false A; let x=8 in 3>x4 false