sig val true_str : string val false_str : string end