Method BoolSort

src/api/java/BoolSort.java:25–25

(Context ctx, long obj)

public class BoolSort extends Sort
{
    BoolSort(Context ctx, long obj) { super(ctx, obj); {  }}
    BoolSort(Context ctx) { super(ctx, Native.mkBoolSort(ctx.nCtx())); {  }}
};