Compute the default term for this sort. booleans: false bit-vectors: zero field elements: zero floats: zero tuples/arrays: recursively default
(&self)
source not stored for this graph (policy: none)
no test coverage detected