-record(function, {
    type_ :: integer(),
    locals :: list(gwr@syntax@types:value_type()),
    body :: list(gwr@syntax@instruction:instruction())
}).