MCPcopy
hub / github.com/google/mangle / NegAtom

Struct NegAtom

ast/ast.go:1056–1058  ·  view source on GitHub ↗

NegAtom represents a negated atom.

Source from the content-addressed store, hash-verified

1054
1055// NegAtom represents a negated atom.
1056type NegAtom struct {
1057 Atom Atom
1058}
1059
1060func (a NegAtom) isTerm() {}
1061

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected