{{name}}
{{markdown comment}}
{{#if record.types}}
Types
{{#each record.types}}
type {{name}}{{#each args}} {{name}}{{/each}} = {{type~}}
{{markdown comment}}
{{/each}}
{{/if}}
{{#if record.values}}
Values
{{#each record.values}}
let {{name}}
{{~#each args~}}
{{~#if implicit}} ?{{name}}{{else}} {{name}}{{~/if~}}
{{~/each}} : {{type~}}
{{markdown comment}}
{{/each}}
{{/if}}