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: Sep 09 2024 at 04:02 UTC