List of all items
Structs
Functions
- rewrite_unit
- type_expr::apply_subst
- type_expr::collect_vars
- type_expr::empty_type
- type_expr::expand_tagged_union_for_bounds
- type_expr::expand_tagged_union_type
- type_expr::find_or_create_name
- type_expr::get_type_context
- type_expr::has_type
- type_expr::intersect_type
- type_expr::is_any
- type_expr::is_base_type
- type_expr::is_empty_type
- type_expr::is_fun_type
- type_expr::is_list_type
- type_expr::is_map_type
- type_expr::is_name_const
- type_expr::is_opt_field
- type_expr::is_option_type
- type_expr::is_pair_type
- type_expr::is_rel_type
- type_expr::is_singleton_type
- type_expr::is_struct_type
- type_expr::is_tagged_union_type
- type_expr::is_tuple_type
- type_expr::is_type_var
- type_expr::is_union_type
- type_expr::list_type_arg
- type_expr::lower_bound
- type_expr::map_type_args
- type_expr::new_list_type
- type_expr::new_map_type
- type_expr::new_rel_type
- type_expr::new_struct_type
- type_expr::new_tuple_type
- type_expr::new_union_or_single
- type_expr::rel_type_alternatives
- type_expr::rel_type_args
- type_expr::rel_type_from_alternatives
- type_expr::rel_types_from_decl
- type_expr::remove_from_union_type
- type_expr::set_conforms
- type_expr::struct_type_field
- type_expr::struct_type_field_deep
- type_expr::struct_type_fields
- type_expr::tagged_union_tag_field
- type_expr::tagged_union_variants
- type_expr::type_conforms
- type_expr::union_type_args
- type_expr::upper_bound
- type_expr::wellformed_type