1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val compile :
?lm:(Common.Path.t * string) ->
?st:Common.Console.State.t ->
?force:bool ->
Common.Path.t ->
Core.Sign.t
val compile_file :
?lm:(Common.Path.t * string) ->
?st:Common.Console.State.t ->
?force:bool ->
string ->
Core.Sign.t