Type Alias NodePattern

NodePattern:
| { variant: "Any" }
| { variant: "AssertionsInterval"; interval: Interval }

node, node({n,m}): an envelope with assertions.

Type Declaration

{ variant: "Any" }
- Readonlyvariant: "Any"
  
  The discriminant.
{ variant: "AssertionsInterval"; interval: Interval }
- Readonlyvariant: "AssertionsInterval"
  
  The discriminant.
- Readonlyinterval: Interval
  
  The interval the number of assertions must lie in.