package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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