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

Module `Compile.PureUpToSign`Source

The functions provided in this module perform the same computations as the ones defined earlier, but restore the console state and the library mappings when they have finished. An optional library mapping or console state can be passed as argument to change the settings.

Source

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

Source

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