Annotations for some PrintStream methods #120

Open

WolframPfeifer wants to merge 2 commits intoopprop:masterfrom WolframPfeifer:printlnAnnotations

+11

Commits on Oct 24, 2024

added some annotations such that debug output with System.out.println typechecks
WolframPfeifer
committed

Commits on Nov 2, 2024

applied type annotation to array instead of component type

WolframPfeifer
and
wmdietl
authored