Module `Typing.Type_generics`

val type_generics_usage_main_expr : Parsing.Parsed_ast.block_expr -> unit Core.Or_error.t
val type_generics_usage_function_defn : Parsing.Parsed_ast.function_defn -> unit Core.Or_error.t
val type_generics_usage_class_defn : Parsing.Parsed_ast.class_defn -> unit Core.Or_error.t

val instantiate_maybe_generic_this : Parsing.Parsed_ast.class_defn -> Type_env.type_binding: Instantiate "this" - to be used when type-checking a class

val instantiate_maybe_generic_class_defn : Ast.Ast_types.type_expr option -> Parsing.Parsed_ast.class_defn -> Ast.Ast_types.loc -> Parsing.Parsed_ast.class_defn Core.Or_error.t: Returns the class definition replacing any generic type parameters with the concrete type passed in.