package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val program : 
  Types.typing_environment ->
  SourceCode.source_code ->
  Sugartypes.program ->
  (Sugartypes.program * Types.datatype * Types.typing_environment)
  * string list

val interactive : 
  Types.typing_environment ->
  SourceCode.source_code ->
  Sugartypes.sentence ->
  Sugartypes.sentence * Types.datatype * Types.typing_environment