dpty : pretype

SYNOPSIS: Dummy pretype.
DESCRIPTION: This is a dummy pretype, intended as a placeholder until the correct one is discovered.
FAILURE CONDITIONS: Not applicable.
SEE ALSO: pretype_of_type, type_of_pretype.