Bvt

Defined symbol.

Type:

pr

Arguments:

x (sv), a (st),