bop

bop <op-spec> : <sorts> -> <sort>

Defines a behavioral operator by its domain, co-domain, and the term construct. <sorts> is a space separated list of sort names containing exactly one hidden sort. <sort> is a single sort name.

For <op-spec> see the explanations of op.

Related: op