TermInfo(String, TermType, String, FunctionSections, Boolean, ArgumentInfo[]) | Constructs an instance of TermInfo. |
TermInfo(String, TermType, String, FunctionSections, Boolean, Term[], ArgumentInfo[]) | Constructs an instance of TermInfo. |
TermInfo(String, TermType, String, FunctionSections, Boolean, Boolean, ArgumentInfo[]) | Constructs an instance of TermInfo. |
TermInfo(String, TermType, String, FunctionSections, Boolean, Boolean, Term[], ArgumentInfo[]) | Constructs an instance of TermInfo. |