manifest typing noun1 •A typing where the software programmer explicitly identifies the type of each declared variable.
