Code Editor : eq_set.t