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.