Module code 

Structs

Code

Body of a Code Review Proof

CodeBuilder

Builder for Code.

Draft

Like Code but serializes for interactive editing

File

Enums

CodeBuilderError

Error type for CodeBuilder