package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val insert_toplevel_handlers : 
  Types.typing_environment ->
  TransformSugar.transform

val desugar_session_exceptions : 
  Types.typing_environment ->
  TransformSugar.transform

val wrap_linear_handlers : SugarTraversals.map

val desugar_program : TransformSugar.program_transformer

val show : Sugartypes.program -> Sugartypes.program

val settings_check : Sugartypes.program -> unit