package lambdapi

  1. Overview
  2. Docs

Module Compile.PureUpToSignSource

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.

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