Interface SortCreation<Name>

Part of Context. Used to declare uninterpreted sorts

const A = context.Sort.declare('A');
const a = context.Const('a', A);
const b = context.const('b', A);

a.sort.eqIdentity(A)
// true
b.sort.eqIdentity(A)
// true
a.eq(b)
// a == b
Copy