Function IsComplete

internal/runtime/compiler/types/types.go:220–233

IsComplete returns true if the type and all its arguments have non-variable exemplars.

(t Type)

// IsComplete returns true if the type and all its arguments have non-variable exemplars.
func IsComplete(t Type) bool {
	switch v := t.Root().(type) {
	case *Variable:
		return false
	case *Operator:
		for _, a := range v.Args {
			if !IsComplete(a) {
				return false
			}
		}
		return true
	}
	return false
}

// Builtin type constants.
var (