(TranslationUnit
    (SymbolTable
        1
        {
            template_01:
                (Program
                    (SymbolTable
                        5
                        {
                            semigroup:
                                (ExternalSymbol
                                    5
                                    semigroup
                                    2 semigroup
                                    template_01_m
                                    []
                                    semigroup
                                    Public
                                )
                        })
                    template_01
                    [template_01_m]
                    []
                ),
            template_01_m:
                (Module
                    (SymbolTable
                        2
                        {
                            semigroup:
                                (Requirement
                                    (SymbolTable
                                        3
                                        {
                                            t:
                                                (Variable
                                                    3
                                                    t
                                                    []
                                                    In
                                                    ()
                                                    ()
                                                    Default
                                                    (TypeParameter
                                                        t
                                                    )
                                                    ()
                                                    Source
                                                    Private
                                                    Required
                                                    .false.
                                                    .false.
                                                    .false.
                                                    ()
                                                    .false.
                                                    .false.
                                                    NotMethod
                                                    ()
                                                    []
                                                )
                                        })
                                    semigroup
                                    [t
                                    combine]
                                    []
                                ),
                            test_template:
                                (Function
                                    (SymbolTable
                                        4
                                        {
                                            
                                        })
                                    test_template
                                    (FunctionType
                                        []
                                        ()
                                        Source
                                        Implementation
                                        ()
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        .false.
                                        []
                                        .false.
                                    )
                                    []
                                    []
                                    []
                                    ()
                                    Private
                                    .true.
                                    .true.
                                    ()
                                )
                        })
                    template_01_m
                    ()
                    []
                    .false.
                    .false.
                    .false.
                )
        })
    []
)
