let to_string b = if b then Str.true_str else Str.false_str