choose

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`choose <selection>`

Chooses a subterm by the given <selection>. See apply for details on <selection>.

Related: strat in operator attributes, start, apply

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team