Module Asllib.TypingSource

The Typing module is yet a single-entry-point module. It only exports the function annotate_ast which fills type-annotations holes in the AST. It should provide enough information to disambiguate any type-dependent behaviour.

Sourcetype strictness = [
  1. | `Silence
  2. | `Warn
  3. | `TypeCheck
]

Possible strictness of type-checking.

Sourceval type_check_ast : strictness -> AST.t -> StaticEnv.env -> AST.t * StaticEnv.env

Typechecks the AST, and returns an AST with type inference holes filled.