Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Typing » Annotate

Module `Typing.Annotate`Source

Parameters

module C : ANNOTATE_CONFIG

Sourceval type_check_ast : AST.t -> AST.t * StaticEnv.global

val type_check_ast_in_env : 
  StaticEnv.global ->
  AST.t ->
  AST.t * StaticEnv.global