Up – Package index » lambdapi » Library lambdapi.handle » Handle » Compile » Pure

Module `Compile.Pure`Source

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

Source

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

Source

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