def

diverting

Three way valve which inputs one pipe and diverts between two output pipes.

meta

supertypes

marker

Marker labels a dict with typing information