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. 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.

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