|
Type summary |
---|
|
Value summary |
---|
|
Type detail |
---|
type compilerParams =
{
(* the path of the source file which contains the imperative program ".proof".*)
sourceFile : string,
(* the source file name prefix.*) fileNamePrefix : string,
(* the verbosity level (0: nothing, ..., 3: very verbose).*) verbLevel : int,
(* asks the compiler to write the untyped program in a file ".pcs".*)
printUntyped : bool,
(* asks the compiler to write the translated functional program in a file ".sml".*)
printFun : bool
}
Value detail |
---|
fun compile params : compilerParams -> unit
params
|