Module Typing.Type_expr
val type_expr : Parsing.Parsed_ast.class_defn list -> Parsing.Parsed_ast.function_defn list -> Parsing.Parsed_ast.expr -> Type_env.type_env -> (Typed_ast.expr * Ast.Ast_types.type_expr) Core.Or_error.tval type_block_expr : Parsing.Parsed_ast.class_defn list -> Parsing.Parsed_ast.function_defn list -> Parsing.Parsed_ast.block_expr -> Type_env.type_env -> (Typed_ast.block_expr * Ast.Ast_types.type_expr) Core.Or_error.t