Aishwarya (Feb 21 2021 at 03:42): Aishwarya (Feb 21 2021 at 03:42):Is it possible to instruct the extraction to ML to include type annotations in function signatures?
For instance, instead of producing this:
(** val foo : int -> int **)
let foo n = n + 1
I would like the following:
let foo (n:int) : int = n
Last updated: Apr 16 2024 at 05:01 UTC