Blame for templates/backend.go.tmpl

// 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}}