(TranslationUnit
    (SymbolTable
        1
        {
            operator_overloading_01:
                (Program
                    (SymbolTable
                        6
                        {
                            f:
                                (Variable
                                    6
                                    f
                                    []
                                    Local
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                    (LogicalConstant
                                        .false.
                                        (Logical 4)
                                    )
                                    Parameter
                                    (Logical 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            greater_than_inverse:
                                (ExternalSymbol
                                    6
                                    greater_than_inverse
                                    2 greater_than_inverse
                                    operator_overloading_01_overload_comp_m
                                    []
                                    greater_than_inverse
                                    Public
                                ),
                            less_than_inverse:
                                (ExternalSymbol
                                    6
                                    less_than_inverse
                                    2 less_than_inverse
                                    operator_overloading_01_overload_comp_m
                                    []
                                    less_than_inverse
                                    Public
                                ),
                            less_than_overload_use:
                                (ExternalSymbol
                                    6
                                    less_than_overload_use
                                    2 less_than_overload_use
                                    operator_overloading_01_overload_comp_m
                                    []
                                    less_than_overload_use
                                    Public
                                ),
                            t:
                                (Variable
                                    6
                                    t
                                    []
                                    Local
                                    (LogicalConstant
                                        .true.
                                        (Logical 4)
                                    )
                                    (LogicalConstant
                                        .true.
                                        (Logical 4)
                                    )
                                    Parameter
                                    (Logical 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            ~gt:
                                (ExternalSymbol
                                    6
                                    ~gt
                                    2 ~gt
                                    operator_overloading_01_overload_comp_m
                                    []
                                    ~gt
                                    Public
                                ),
                            ~lt:
                                (ExternalSymbol
                                    6
                                    ~lt
                                    2 ~lt
                                    operator_overloading_01_overload_comp_m
                                    []
                                    ~lt
                                    Public
                                )
                        })
                    operator_overloading_01
                    [operator_overloading_01_overload_comp_m]
                    [(Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "T>T:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 t)
                                Gt
                                (Var 6 t)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 greater_than_inverse
                                    6 ~gt
                                    [((Var 6 t))
                                    ((Var 6 t))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "T>F:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 t)
                                Gt
                                (Var 6 f)
                                (Logical 4)
                                (LogicalConstant
                                    .true.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 greater_than_inverse
                                    6 ~gt
                                    [((Var 6 t))
                                    ((Var 6 f))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "F>T:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 f)
                                Gt
                                (Var 6 t)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 greater_than_inverse
                                    6 ~gt
                                    [((Var 6 f))
                                    ((Var 6 t))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "F>F:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 f)
                                Gt
                                (Var 6 f)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 greater_than_inverse
                                    6 ~gt
                                    [((Var 6 f))
                                    ((Var 6 f))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "T<T:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 t)
                                Lt
                                (Var 6 t)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 less_than_inverse
                                    6 ~lt
                                    [((Var 6 t))
                                    ((Var 6 t))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "T<F:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 t)
                                Lt
                                (Var 6 f)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 less_than_inverse
                                    6 ~lt
                                    [((Var 6 t))
                                    ((Var 6 f))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "F<T:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 f)
                                Lt
                                (Var 6 t)
                                (Logical 4)
                                (LogicalConstant
                                    .true.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 less_than_inverse
                                    6 ~lt
                                    [((Var 6 f))
                                    ((Var 6 t))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )
                    (Print
                        (StringFormat
                            ()
                            [(StringConstant
                                "F<F:"
                                (String 1 4 () PointerString)
                            )
                            (OverloadedCompare
                                (Var 6 f)
                                Lt
                                (Var 6 f)
                                (Logical 4)
                                (LogicalConstant
                                    .false.
                                    (Logical 4)
                                )
                                (FunctionCall
                                    6 less_than_inverse
                                    6 ~lt
                                    [((Var 6 f))
                                    ((Var 6 f))]
                                    (Logical 4)
                                    ()
                                    ()
                                )
                            )]
                            FormatFortran
                            (String -1 0 () PointerString)
                            ()
                        )
                    )]
                ),
            operator_overloading_01_overload_comp_m:
                (Module
                    (SymbolTable
                        2
                        {
                            greater_than_inverse:
                                (Function
                                    (SymbolTable
                                        3
                                        {
                                            greater_than_inverse:
                                                (Variable
                                                    3
                                                    greater_than_inverse
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log1:
                                                (Variable
                                                    3
                                                    log1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log2:
                                                (Variable
                                                    3
                                                    log2
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    greater_than_inverse
                                    (FunctionType
                                        [(Logical 4)
                                        (Logical 4)]
                                        (Logical 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 3 log1)
                                    (Var 3 log2)]
                                    [(If
                                        (LogicalBinOp
                                            (LogicalBinOp
                                                (Var 3 log1)
                                                Eqv
                                                (LogicalBinOp
                                                    (LogicalConstant
                                                        .true.
                                                        (Logical 4)
                                                    )
                                                    And
                                                    (Var 3 log2)
                                                    (Logical 4)
                                                    ()
                                                )
                                                (Logical 4)
                                                ()
                                            )
                                            Eqv
                                            (LogicalConstant
                                                .false.
                                                (Logical 4)
                                            )
                                            (Logical 4)
                                            ()
                                        )
                                        [(Assignment
                                            (Var 3 greater_than_inverse)
                                            (LogicalConstant
                                                .true.
                                                (Logical 4)
                                            )
                                            ()
                                        )]
                                        [(Assignment
                                            (Var 3 greater_than_inverse)
                                            (LogicalConstant
                                                .false.
                                                (Logical 4)
                                            )
                                            ()
                                        )]
                                    )]
                                    (Var 3 greater_than_inverse)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            less_than_inverse:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            less_than_inverse:
                                                (Variable
                                                    4
                                                    less_than_inverse
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log1:
                                                (Variable
                                                    4
                                                    log1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log2:
                                                (Variable
                                                    4
                                                    log2
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    less_than_inverse
                                    (FunctionType
                                        [(Logical 4)
                                        (Logical 4)]
                                        (Logical 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    [(Var 4 log1)
                                    (Var 4 log2)]
                                    [(If
                                        (LogicalBinOp
                                            (LogicalBinOp
                                                (Var 4 log1)
                                                Eqv
                                                (LogicalBinOp
                                                    (LogicalConstant
                                                        .false.
                                                        (Logical 4)
                                                    )
                                                    And
                                                    (Var 4 log2)
                                                    (Logical 4)
                                                    ()
                                                )
                                                (Logical 4)
                                                ()
                                            )
                                            Eqv
                                            (LogicalConstant
                                                .true.
                                                (Logical 4)
                                            )
                                            (Logical 4)
                                            ()
                                        )
                                        [(Assignment
                                            (Var 4 less_than_inverse)
                                            (LogicalConstant
                                                .true.
                                                (Logical 4)
                                            )
                                            ()
                                        )]
                                        [(Assignment
                                            (Var 4 less_than_inverse)
                                            (LogicalConstant
                                                .false.
                                                (Logical 4)
                                            )
                                            ()
                                        )]
                                    )]
                                    (Var 4 less_than_inverse)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            less_than_overload_use:
                                (Function
                                    (SymbolTable
                                        5
                                        {
                                            less_than_overload_use:
                                                (Variable
                                                    5
                                                    less_than_overload_use
                                                    []
                                                    ReturnVar
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log1:
                                                (Variable
                                                    5
                                                    log1
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                ),
                                            log2:
                                                (Variable
                                                    5
                                                    log2
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (Logical 4)
                                                    ()
                                                    Source
                                                    Public
                                                    Required
                                                    .false.
                                                    .false.
                                                )
                                        })
                                    less_than_overload_use
                                    (FunctionType
                                        [(Logical 4)
                                        (Logical 4)]
                                        (Logical 4)
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .true.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    [less_than_inverse]
                                    [(Var 5 log1)
                                    (Var 5 log2)]
                                    [(Assignment
                                        (Var 5 less_than_overload_use)
                                        (OverloadedCompare
                                            (Var 5 log1)
                                            Lt
                                            (Var 5 log2)
                                            (Logical 4)
                                            ()
                                            (FunctionCall
                                                2 less_than_inverse
                                                2 ~lt
                                                [((Var 5 log1))
                                                ((Var 5 log2))]
                                                (Logical 4)
                                                ()
                                                ()
                                            )
                                        )
                                        ()
                                    )]
                                    (Var 5 less_than_overload_use)
                                    Public
                                    .false.
                                    .false.
                                    ()
                                ),
                            ~gt:
                                (CustomOperator
                                    2
                                    ~gt
                                    [2 greater_than_inverse]
                                    Public
                                ),
                            ~lt:
                                (CustomOperator
                                    2
                                    ~lt
                                    [2 less_than_inverse]
                                    Public
                                )
                        })
                    operator_overloading_01_overload_comp_m
                    []
                    .false.
                    .false.
                )
        })
    []
)
