Whether this type is precise, i.e. can be part of a successful type inference. Default implementation returns True.
previous
Boolean8.dump
next
Boolean8.unify