Syntax error on /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_COT_ucl_code/bk_q2_3.ucl, line 1: end of input expected.
type state_t = {green, yellow, red, amber};
