# Generated by tools/translator: qualified upstream name -> MoonBit name.
FINITE_IMP_MATROID_FINITE_DIM finite_imp_matroid_finite_dim
FINITE_IMP_MATROID_FINITE_DIM_SPAN finite_imp_matroid_finite_dim_span
MATROID_BASES_CARD_EQ matroid_bases_card_eq
MATROID_BASES_FINITE matroid_bases_finite
MATROID_BASES_SIZE matroid_bases_size
MATROID_BASIS_EQ_MAXIMAL_INDEPENDENT matroid_basis_eq_maximal_independent
MATROID_BASIS_EQ_MINIMAL_SPANNING matroid_basis_eq_minimal_spanning
MATROID_BASIS_EXISTS matroid_basis_exists
MATROID_BASIS_EXISTS_DIM matroid_basis_exists_dim
MATROID_BASIS_EXISTS_DIMENSION matroid_basis_exists_dimension
MATROID_BASIS_IMP_SUBSET matroid_basis_imp_subset
MATROID_BASIS_SUBMATROID matroid_basis_submatroid
MATROID_CHOOSE_SUBSET matroid_choose_subset
MATROID_CHOOSE_SUBSPACE matroid_choose_subspace
MATROID_CONTAINS_BASIS_DIM matroid_contains_basis_dim
MATROID_DEPENDENT matroid_dependent_v1
MATROID_DEPENDENT_FINITARY matroid_dependent_finitary
MATROID_DEPENDENT_FINITARY_MINIMAL matroid_dependent_finitary_minimal
MATROID_DEPENDENT_IMP_SUBSET matroid_dependent_imp_subset
MATROID_DIMENSION_ALT matroid_dimension_alt
MATROID_DIMENSION_EQ_CARD matroid_dimension_eq_card
MATROID_DIMENSION_FINITE_LE matroid_dimension_finite_le
MATROID_DIMENSION_GE matroid_dimension_ge
MATROID_DIMENSION_GE_CARD matroid_dimension_ge_card
MATROID_DIMENSION_GE_FINITE_CARD matroid_dimension_ge_finite_card
MATROID_DIMENSION_LE matroid_dimension_le
MATROID_DIMENSION_UNIQUE matroid_dimension_unique
MATROID_DIM_ALT matroid_dim_alt
MATROID_DIM_BASIS matroid_dim_basis
MATROID_DIM_EMPTY matroid_dim_empty
MATROID_DIM_EQ_CARD matroid_dim_eq_card
MATROID_DIM_EQ_CARD_GEN matroid_dim_eq_card_gen
MATROID_DIM_EQ_FINITE_CARD_EQ matroid_dim_eq_finite_card_eq
MATROID_DIM_EQ_SPAN matroid_dim_eq_span
MATROID_DIM_FINITE_LE matroid_dim_finite_le
MATROID_DIM_GE matroid_dim_ge
MATROID_DIM_GE_CARD matroid_dim_ge_card
MATROID_DIM_GE_CARD_GEN matroid_dim_ge_card_gen
MATROID_DIM_GE_FINITE_CARD matroid_dim_ge_finite_card
MATROID_DIM_GE_FINITE_CARD_EQ matroid_dim_ge_finite_card_eq
MATROID_DIM_INSERT matroid_dim_insert
MATROID_DIM_LE matroid_dim_le
MATROID_DIM_LE_CARD matroid_dim_le_card
MATROID_DIM_LE_CARD_GEN matroid_dim_le_card_gen
MATROID_DIM_SET matroid_dim_set
MATROID_DIM_SPAN matroid_dim_span
MATROID_DIM_SPAN_EQ matroid_dim_span_eq
MATROID_DIM_SPAN_EQ_GEN matroid_dim_span_eq_gen
MATROID_DIM_SPAN_PSUBSET matroid_dim_span_psubset
MATROID_DIM_SPAN_SUBSET matroid_dim_span_subset
MATROID_DIM_SUBSET matroid_dim_subset
MATROID_DIM_SUBSET_ALT matroid_dim_subset_alt
MATROID_DIM_UNIQUE matroid_dim_unique
MATROID_DIM_UNIQUE_ALT matroid_dim_unique_alt
MATROID_EQ_SPANS_CARD_EQ matroid_eq_spans_card_eq
MATROID_EQ_SPANS_FINITE matroid_eq_spans_finite
MATROID_EQ_SPANS_SIZE matroid_eq_spans_size
MATROID_FINITE_DIM matroid_finite_dim_v1
MATROID_FINITE_DIMENSIONAL matroid_finite_dimensional_v1
MATROID_FINITE_DIMENSIONAL_ANY matroid_finite_dimensional_any
MATROID_FINITE_DIMENSIONAL_BASIS matroid_finite_dimensional_basis
MATROID_FINITE_DIMENSIONAL_CONTAINS_BASIS matroid_finite_dimensional_contains_basis
MATROID_FINITE_DIMENSIONAL_DIM matroid_finite_dimensional_dim
MATROID_FINITE_DIM_BASIS matroid_finite_dim_basis
MATROID_FINITE_DIM_EMPTY matroid_finite_dim_empty
MATROID_FINITE_DIM_FINITE matroid_finite_dim_finite
MATROID_FINITE_DIM_IMP_SUBSET matroid_finite_dim_imp_subset
MATROID_FINITE_DIM_INSERT matroid_finite_dim_insert
MATROID_FINITE_DIM_MONO matroid_finite_dim_mono
MATROID_FINITE_DIM_SET matroid_finite_dim_set
MATROID_FINITE_DIM_SPAN matroid_finite_dim_span
MATROID_FINITE_DIM_SPAN_EQ matroid_finite_dim_span_eq
MATROID_FINITE_DIM_SUBSET matroid_finite_dim_subset
MATROID_FINITE_DIM_UNION matroid_finite_dim_union
MATROID_INDEPENDENT matroid_independent_v1
MATROID_INDEPENDENT_CARD_LE_SPAN matroid_independent_card_le_span
MATROID_INDEPENDENT_CARD_LE_SPANNING matroid_independent_card_le_spanning
MATROID_INDEPENDENT_CARD_LE_SPAN_FINITE matroid_independent_card_le_span_finite
MATROID_INDEPENDENT_CHAIN matroid_independent_chain
MATROID_INDEPENDENT_EMPTY matroid_independent_empty
MATROID_INDEPENDENT_EXTENDS_TO_BASIS matroid_independent_extends_to_basis
MATROID_INDEPENDENT_FINITARY matroid_independent_finitary
MATROID_INDEPENDENT_IMP_FINITE matroid_independent_imp_finite
MATROID_INDEPENDENT_IMP_SUBSET matroid_independent_imp_subset
MATROID_INDEPENDENT_INSERT matroid_independent_insert
MATROID_INDEPENDENT_MONO matroid_independent_mono
MATROID_INDEPENDENT_SPANNING_FINITE matroid_independent_spanning_finite
MATROID_INDEPENDENT_SUBMATROID matroid_independent_submatroid
MATROID_INTERMEDIATE_BASIS matroid_intermediate_basis
MATROID_INTERMEDIATE_SPAN matroid_intermediate_span
MATROID_LOWDIM_EXPAND_BASIS matroid_lowdim_expand_basis
MATROID_LOWDIM_EXPAND_DIMENSION matroid_lowdim_expand_dimension
MATROID_MAXIMAL_INDEPENDENT_SUBSET_SPAN matroid_maximal_independent_subset_span
MATROID_MINIMALLY_DEPENDENT matroid_minimally_dependent
MATROID_MINIMALLY_DEPENDENT_SUBSET matroid_minimally_dependent_subset
MATROID_SPANNING_ALT matroid_spanning_alt
MATROID_SPANNING_CONTAINS_BASIS matroid_spanning_contains_basis
MATROID_SPANNING_IMP_SUBSET matroid_spanning_imp_subset
MATROID_SPANNING_PSUBSET_INDEPENDENT matroid_spanning_psubset_independent
MATROID_SPANNING_SET matroid_spanning_set
MATROID_SPANNING_SUBMATROID matroid_spanning_submatroid
MATROID_SPANNING_SUBMATROID_SELF matroid_spanning_submatroid_self
MATROID_SPANNING_SUBSET_INDEPENDENT matroid_spanning_subset_independent
MATROID_SPAN_CHAIN matroid_span_chain
MATROID_SPAN_DELETE_EQ matroid_span_delete_eq
MATROID_SPAN_DEPENDENCE matroid_span_dependence
MATROID_SPAN_DIM_EQ matroid_span_dim_eq
MATROID_SPAN_EQ matroid_span_eq
MATROID_SPAN_EQ_SELF matroid_span_eq_self
MATROID_SPAN_EQ_SET matroid_span_eq_set
MATROID_SPAN_EXCHANGE matroid_span_exchange
MATROID_SPAN_EXCHANGE_DELETE matroid_span_exchange_delete
MATROID_SPAN_FINITARY matroid_span_finitary
MATROID_SPAN_FINITARY_GEN matroid_span_finitary_gen
MATROID_SPAN_FINITARY_MINIMAL matroid_span_finitary_minimal
MATROID_SPAN_INC matroid_span_inc
MATROID_SPAN_INSERT_EQ matroid_span_insert_eq
MATROID_SPAN_INSERT_REFL matroid_span_insert_refl
MATROID_SPAN_INTER_SPANS matroid_span_inter_spans
MATROID_SPAN_INTER_SUBSET matroid_span_inter_subset
MATROID_SPAN_MINIMAL matroid_span_minimal
MATROID_SPAN_MONO matroid_span_mono
MATROID_SPAN_OF_SUBSPACE matroid_span_of_subspace
MATROID_SPAN_PSUBSET_EXPLICIT matroid_span_psubset_explicit
MATROID_SPAN_PSUBSET_INDEPENDENT matroid_span_psubset_independent
MATROID_SPAN_SET matroid_span_set
MATROID_SPAN_SPAN matroid_span_span
MATROID_SPAN_SUBSET matroid_span_subset
MATROID_SPAN_SUBSET_EQ matroid_span_subset_eq
MATROID_SPAN_SUBSET_SUBSPACE matroid_span_subset_subspace
MATROID_SPAN_SUBSPACE matroid_span_subspace
MATROID_SPAN_SUPERSET matroid_span_superset
MATROID_SPAN_TRANS matroid_span_trans
MATROID_SPAN_UNION matroid_span_union
MATROID_SPAN_UNION_EQ matroid_span_union_eq
MATROID_SPAN_UNION_LEFT matroid_span_union_left
MATROID_SPAN_UNION_RIGHT matroid_span_union_right
MATROID_SPAN_UNION_SUBSET matroid_span_union_subset
MATROID_STEINITZ_EXCHANGE matroid_steinitz_exchange
MATROID_STEINITZ_EXCHANGE_ALT matroid_steinitz_exchange_alt
MATROID_STEINITZ_EXCHANGE_FINITE matroid_steinitz_exchange_finite
MATROID_SUBSET_CONTAINS_BASIS matroid_subset_contains_basis
MATROID_SUBSPACE matroid_subspace_v1
MATROID_SUBSPACE_CHAIN matroid_subspace_chain
MATROID_SUBSPACE_IMP_SUBSET matroid_subspace_imp_subset
MATROID_SUBSPACE_INTER matroid_subspace_inter
MATROID_SUBSPACE_INTERS matroid_subspace_inters
MATROID_SUBSPACE_SET matroid_subspace_set
MATROID_SUBSPACE_SPAN matroid_subspace_span
SUBMATROID submatroid_v1
SUBMATROID_GEN submatroid_gen
SUBMATROID_SET submatroid_set
SUBMATROID_SPAN submatroid_span
SUBMATROID_SUBSET submatroid_subset
SUBSET_MATROID_SPAN subset_matroid_span
matroid_basis matroid_basis
matroid_dependent matroid_dependent
matroid_dim matroid_dim
matroid_dimension matroid_dimension
matroid_finite_dim matroid_finite_dim
matroid_finite_dimensional matroid_finite_dimensional
matroid_independent matroid_independent
matroid_set matroid_set
matroid_span matroid_span
matroid_spanning matroid_spanning
matroid_subspace matroid_subspace
matroid_tybij matroid_tybij
submatroid submatroid
