llvm::SMTSortRef

Shared pointer for SMTSorts, used by SMTSolver API.

Synopsis

Declared in <llvm/Support/SMTAPI.h>

using SMTSortRef = SMTSort const*;