Module Compile.PureSource

Pure wrappers around compilation functions. The provided functions perform the same computations as the ones defined above, but restore the state when they have finished. An optional library mapping or state can be passed as argument to change the settings.

Sourceval compile : ?lm:(Common.Path.t * string) -> ?st:Common.Console.State.t -> bool -> Common.Path.t -> Core.Sign.t
Sourceval compile_file : ?lm:(Common.Path.t * string) -> ?st:Common.Console.State.t -> string -> Core.Sign.t