-record(annotated_module, {
    functions :: list({binary(), girard@types:scheme()}),
    constants :: list({binary(), girard@types:scheme()}),
    expressions :: list(girard:annotation())
}).