Defines a signature id that extends the super-id signatures. Any elements defined in decoded pre-flows—including forms, procedures, structure types, classes, interfaces, and mixins—are defined as members of the signature instead of direct bindings. These definitions can be referenced through sigelem instead of racket.

Like defsignature, but the decoded pre-flows are not typeset under the signature declaration, and new sections, etc. can be started in the pre-flows.

Produces an opaque value that defsignature recognizes to outdent in the typeset form. This is useful for text describing the signature as a whole to appear right after the signature declaration.

Typesets the identifier id with a hyperlink to its definition as a member of the signature named by sig-id.