Top

Vl-propexpr

Vl-propnexttime

A nexttime or s_nexttime property expression.

This is a product type, introduced by deftagsum in support of vl-propexpr.

Fields

strongp — booleanp: True for s_nexttime operators, nil for ordinary nexttime.
expr — vl-maybe-expr: For instance, 3 in case of nexttime [3] foo.
prop — vl-propexpr: The property that must hold next time, e.g., foo in nexttime [3] foo.

Subtopics

Vl-propnexttime->strongp: Get the strongp field from a vl-propnexttime.
Make-vl-propnexttime: Basic constructor macro for vl-propnexttime structures.
Vl-propnexttime->prop: Get the prop field from a vl-propnexttime.
Vl-propnexttime->expr: Get the expr field from a vl-propnexttime.
Change-vl-propnexttime: Modifying constructor for vl-propnexttime structures.