Module syntax

The abstract surface syntax for the Session! macro, produced by the parser.

Structs

Invocation

A shim for parsing the root level of a macro invocation, so that a session type may be written as a block w/o an extra layer of braces.

Enums

Syntax

The surface syntax for a macro invocation: a single statement-like item, or a block of them.

Functions

compile

Compile a spanned syntax tree into either a representation of a valid session type Target, or an Error.