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