PIPELINE MARKER

Definition A <PIPELINE MARKER> is a <MARKER> that is used to mark a position on a pipeline