Precondition typedef

Precondition = $Precondition

A precondition on a document, used for conditional operations.

Implementation

typedef Precondition = $Precondition;