let
to_clause (string: string) : clause =
parse_string
Parser_darwin
.parse_clause
"clause"
string