Module `Typing.Type_inheritance`

val is_subtype_of : Parsing.Parsed_ast.class_defn list -> Ast.Ast_types.type_expr -> Ast.Ast_types.type_expr -> bool
val are_subtypes_of : Parsing.Parsed_ast.class_defn list -> Ast.Ast_types.type_expr list -> Ast.Ast_types.type_expr list -> bool
val type_class_inheritance : Parsing.Parsed_ast.class_defn -> Parsing.Parsed_ast.class_defn list -> unit Core.Or_error.t