Hi @DonCorleone, is this a homework question? We do not permit this forum to be used for simply exchanging homework solutions, although if you have specific questions about something you do not understand in OCaml or formal verification, you are free to ask those.
2 Likes