# Generated by tools/translator: qualified upstream name -> MoonBit name.
COMPONENT_COMPOSE_ASSOC component_compose_assoc
COMPONENT_EQ component_eq
COMPONENT_INJ component_inj
COMPOSE_ENTIRETY compose_entirety
EXISTS_COMPONENT exists_component
EXTENSIONALLY_VALID_COMPONENT_ENTIRETY extensionally_valid_component_entirety
FORALL_COMPONENT forall_component
ORTHOGONAL_COMPONENTS_SYM orthogonal_components_sym
READ_COMPONENT_COMPOSE read_component_compose
READ_ENTIRETY read_entirety
READ_WRITE_COMPONENT_COMPOSE read_write_component_compose
READ_WRITE_ENTIRETY read_write_entirety
STRONGLY_VALID_COMPONENT_COMPOSE strongly_valid_component_compose
STRONGLY_VALID_COMPONENT_ENTIRETY strongly_valid_component_entirety
STRONGLY_VALID_IMP_EXTENSIONALLY_VALID_COMPONENT strongly_valid_imp_extensionally_valid_component
STRONGLY_VALID_IMP_VALID_COMPONENT strongly_valid_imp_valid_component
VALID_COMPONENT_COMPOSE valid_component_compose
VALID_COMPONENT_ENTIRETY valid_component_entirety
VALID_IMP_WEAKLY_VALID_COMPONENT valid_imp_weakly_valid_component
WEAKLY_VALID_COMPONENT_ENTIRETY weakly_valid_component_entirety
WRITE_COMPONENT_COMPOSE write_component_compose
WRITE_ENTIRETY write_entirety
add_component_orthogonality_thms add_component_orthogonality_thms
add_component_read_write_thms add_component_read_write_thms
add_extensionally_valid_component_thms add_extensionally_valid_component_thms
add_strongly_valid_component_thms add_strongly_valid_component_thms
add_valid_component_thms add_valid_component_thms
add_weakly_valid_component_thms add_weakly_valid_component_thms
component_alias_thms component_alias_thms
component_compose component_compose
component_orthogonality_thms component_orthogonality_thms
component_read_write_thms component_read_write_thms
component_tybij component_tybij
entirety entirety
extensionally_valid_component extensionally_valid_component
extensionally_valid_component_thms extensionally_valid_component_thms
orthogonal_components orthogonal_components
read read
read_def read_def
read_over_write read_over_write
strongly_valid_component strongly_valid_component
strongly_valid_component_thms strongly_valid_component_thms
valid_component valid_component
valid_component_thms valid_component_thms
weak_read_over_write weak_read_over_write
weakly_valid_component weakly_valid_component
weakly_valid_component_thms weakly_valid_component_thms
write write
write_def write_def
write_over_read write_over_read
write_over_write write_over_write
