fn prim_app_sort(op: &BinOp) -> Option<(Vec<Sort>, Sort)>Expand description
The sort of an application [op](e1, e2) of a primop, which besides the bitwise operations
of prim_op_sort can also be an arithmetic operation on int, i.e., any of the operators
that can be made uninterpreted with uif_ops.