Engine: F*: fix \0
#3562
format.yml
on: pull_request
ocamlformat
48s
rustfmt
53s
\0
#3562