extern B_HashableD_bytes B_HashableD_bytesG_witness;
extern B_TimesD_bytes B_TimesD_bytesG_witness;
extern B_ContainerD_bytes B_ContainerD_bytesG_witness;
extern B_SliceableD_bytes B_SliceableD_bytesG_witness;
extern B_OrdD_bytes B_OrdD_bytesG_witness;
extern B_ContainerD_bytearray B_ContainerD_bytearrayG_witness;
extern B_TimesD_SequenceD_bytearray B_TimesD_SequenceD_bytearrayG_witness;
extern B_CollectionD_SequenceD_bytearray B_CollectionD_SequenceD_bytearrayG_witness;
extern B_SequenceD_bytearray B_SequenceD_bytearrayG_witness;
extern B_OrdD_bytearray B_OrdD_bytearrayG_witness;
extern B_HashableD_str B_HashableD_strG_witness;
extern B_TimesD_str B_TimesD_strG_witness;
extern B_SliceableD_str B_SliceableD_strG_witness;
extern B_ContainerD_str B_ContainerD_strG_witness;
extern B_OrdD_str B_OrdD_strG_witness;
extern B_IterableD_range B_IterableD_rangeG_witness;
extern B_IterableD_Iterator B_IterableD_IteratorG_witness;
extern B_MinusD_SetD_set B_MinusD_SetD_setG_witness;
extern B_LogicalD_SetD_set B_LogicalD_SetD_setG_witness;
extern B_OrdD_SetD_set B_OrdD_SetD_setG_witness;
extern B_SetD_set B_SetD_setG_witness;
extern B_OrdD_dict B_OrdD_dictG_witness;
extern B_IndexedD_MappingD_dict B_IndexedD_MappingD_dictG_witness;
extern B_MappingD_dict B_MappingD_dictG_witness;
extern B_OrdD_list B_OrdD_listG_witness;
extern B_ContainerD_list B_ContainerD_listG_witness;
extern B_TimesD_SequenceD_list B_TimesD_SequenceD_listG_witness;
extern B_CollectionD_SequenceD_list B_CollectionD_SequenceD_listG_witness;
extern B_SequenceD_list B_SequenceD_listG_witness;
extern B_HashableD_complex B_HashableD_complexG_witness;
extern B_EqD_complex B_EqD_complexG_witness;
extern B_DivD_complex B_DivD_complexG_witness;
extern B_MinusD_NumberD_complex B_MinusD_NumberD_complexG_witness;
extern B_NumberD_complex B_NumberD_complexG_witness;
extern B_HashableD_float B_HashableD_floatG_witness;
extern B_OrdD_float B_OrdD_floatG_witness;
extern B_DivD_float B_DivD_floatG_witness;
extern B_MinusD_RealFloatD_float B_MinusD_RealFloatD_floatG_witness;
extern B_RealFloatD_float B_RealFloatD_floatG_witness;
extern B_HashableD_u16 B_HashableD_u16G_witness;
extern B_OrdD_u16 B_OrdD_u16G_witness;
extern B_DivD_u16 B_DivD_u16G_witness;
extern B_LogicalD_IntegralD_u16 B_LogicalD_IntegralD_u16G_witness;
extern B_MinusD_IntegralD_u16 B_MinusD_IntegralD_u16G_witness;
extern B_IntegralD_u16 B_IntegralD_u16G_witness;
extern B_HashableD_u32 B_HashableD_u32G_witness;
extern B_OrdD_u32 B_OrdD_u32G_witness;
extern B_DivD_u32 B_DivD_u32G_witness;
extern B_LogicalD_IntegralD_u32 B_LogicalD_IntegralD_u32G_witness;
extern B_MinusD_IntegralD_u32 B_MinusD_IntegralD_u32G_witness;
extern B_IntegralD_u32 B_IntegralD_u32G_witness;
extern B_HashableD_u64 B_HashableD_u64G_witness;
extern B_OrdD_u64 B_OrdD_u64G_witness;
extern B_DivD_u64 B_DivD_u64G_witness;
extern B_LogicalD_IntegralD_u64 B_LogicalD_IntegralD_u64G_witness;
extern B_MinusD_IntegralD_u64 B_MinusD_IntegralD_u64G_witness;
extern B_IntegralD_u64 B_IntegralD_u64G_witness;
extern B_HashableD_i16 B_HashableD_i16G_witness;
extern B_OrdD_i16 B_OrdD_i16G_witness;
extern B_DivD_i16 B_DivD_i16G_witness;
extern B_LogicalD_IntegralD_i16 B_LogicalD_IntegralD_i16G_witness;
extern B_MinusD_IntegralD_i16 B_MinusD_IntegralD_i16G_witness;
extern B_IntegralD_i16 B_IntegralD_i16G_witness;
extern B_HashableD_i32 B_HashableD_i32G_witness;
extern B_OrdD_i32 B_OrdD_i32G_witness;
extern B_DivD_i32 B_DivD_i32G_witness;
extern B_LogicalD_IntegralD_i32 B_LogicalD_IntegralD_i32G_witness;
extern B_MinusD_IntegralD_i32 B_MinusD_IntegralD_i32G_witness;
extern B_IntegralD_i32 B_IntegralD_i32G_witness;
extern B_HashableD_i64 B_HashableD_i64G_witness;
extern B_OrdD_i64 B_OrdD_i64G_witness;
extern B_DivD_i64 B_DivD_i64G_witness;
extern B_LogicalD_IntegralD_i64 B_LogicalD_IntegralD_i64G_witness;
extern B_MinusD_IntegralD_i64 B_MinusD_IntegralD_i64G_witness;
extern B_IntegralD_i64 B_IntegralD_i64G_witness;
extern B_HashableD_int B_HashableD_intG_witness;
extern B_OrdD_int B_OrdD_intG_witness;
extern B_DivD_int B_DivD_intG_witness;
extern B_LogicalD_IntegralD_int B_LogicalD_IntegralD_intG_witness;
extern B_MinusD_IntegralD_int B_MinusD_IntegralD_intG_witness;
extern B_IntegralD_int B_IntegralD_intG_witness;
extern B_HashableD_bool B_HashableD_boolG_witness;

extern B_OrdD_list  B_OrdD_listD_bytesG_witness;
extern B_MappingD_dict B_MappingD_dictD_strG_witness;
extern B_MappingD_dict B_MappingD_dictD_intG_witness;
 
#define $SequenceD_listG_witness B_SequenceD_listG_witness
#define $CollectionD_listG_witness B_CollectionD_SequenceD_listG_witness
