// SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
// For more information, please refer to <https://unlicense.org/>
// SPDX-License-Identifier: Unlicense
module HelloWorld
// Example of extracting an OCaml source from an F* development and building a binary from it
let _ = FStar.IO.print_string "Hello world!"
// fstar.exe --use_hints --codegen OCaml --extract HelloWorld HelloWorld.fst
// ocamlfind ocamlc -warn-error -a -package fstarlib -linkpkg -g HelloWorld.ml -o helloworld.exe