Compile.PureSourcePure 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.
val compile :
?lm:(Common.Path.t * string) ->
?st:Common.Console.State.t ->
bool ->
Common.Path.t ->
Core.Sign.tval compile_file :
?lm:(Common.Path.t * string) ->
?st:Common.Console.State.t ->
string ->
Core.Sign.t