provide

Jump to bottom

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

`provide <feature>`

Discharges a feature requirement: once provided, all the subsequent requirements of a feature are assumed to have been fulfilled already.

Related: require

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