def

mixing

Three way valve which inputs two pipes and outputs a mixture between the two to a single output pipe.

meta

supertypes

marker

Marker labels a dict with typing information