| // Code generated by semantic-engine. DO NOT EDIT. | |
| // Semantic root: {{.SemanticRoot}} | |
| // Temporal state: τ{{.Tau}} | |
| // Verified: {{.Verified}} | |
| package {{.Package}} | |
| import ( | |
| "errors" | |
| "fmt" | |
| ) | |
| {{range .Types}} | |
| // {{.Name}} — {{.Description}} | |
| type {{.Name}} struct { | |
| {{range .Fields}} {{.Name}} {{.Type}} | |
| {{end}}} | |
| {{end}} | |
| {{range .Operations}} | |
| // {{.Name}} implements {{.SemanticID}} | |
| func {{.Name}}({{range .Params}}{{.Name}} {{.Type}}, {{end}}) ({{.ReturnType}}, error) { | |
| {{range .Constraints}} // Constraint: {{.}} | |
| {{end}} | |
| {{.Body}} | |
| } | |
| {{end}} | |
| {{range .Tests}} | |
| func Test{{.Name}}(t *testing.T) { | |
| {{.Body}} | |
| } | |
| {{end}} | |