`````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````
Load Standard.awf
Load Testing.awf
Load Type_Level_Lists.awf
Def Inverse_Tuple_Empty_List_test :
  List ((Tuple !Empty_List[Star] * Maybe (Tuple !Empty_List[Star])) * Maybe (Tuple !Empty_List[Star])) =
    Test_1 Inverse (Lift (Pair Empty_Tuple (Wrap Empty_Tuple)))
Def Inverse_Tuple_Construct_List_test :
  List
    (
      (Tuple (!Construct_List[Star] Int !Empty_List[Star]) * Maybe (Tuple (!Construct_List[Star] Int !Empty_List[Star]))) *
      Maybe (Tuple (!Construct_List[Star] Int !Empty_List[Star]))) =
        Test_1 Inverse (Lift (Pair (Construct_Tuple 1 Empty_Tuple) (Wrap (Construct_Tuple 1 Empty_Tuple))))
`````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````