Assertion

Namespace: Scriptorium.Nib  Parent: Scriptorium.Nib.Assertion

type Assertion<‘a> = Assertion<‘a, ‘a>

Description

Shorthand for an assertion that does not change the subject type.