Module Desugaring.Desugar_env
val get_class_method_defns : Ast.Ast_types.Class_name.t -> Typing.Typed_ast.class_defn list -> Typing.Typed_ast.method_defn listval get_class_capabilities : Ast.Ast_types.Class_name.t -> Typing.Typed_ast.class_defn list -> Ast.Ast_types.capability listval get_class_field_capabilities : Ast.Ast_types.Class_name.t -> Ast.Ast_types.Field_name.t -> Typing.Typed_ast.class_defn list -> Ast.Ast_types.capability listval maybe_get_superclass : Ast.Ast_types.Class_name.t -> Typing.Typed_ast.class_defn list -> Ast.Ast_types.Class_name.t optionval elem_in_list : 'a -> 'a list -> bool