dev-lang/fstar
Verification system for effectful programs
Screenshots
-
fstar-2021.11.27~amd64+ocamlopt ocamlopt
View 
Download 
Browse License: Apache-2.0 Overlay: src_prepare-overlay
USE Flags
+ocamlopt
* This flag is undocumented *
ocamlopt
Global: Enables ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)