let
to_string b =
Bool_to_string
b