package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

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

package lambdapi

Module Compile.PureSource

Module `Compile.Pure`Source