gsdlab/cdl2clafer — Issue #15: If the feature is Data but has Requires, should it be optional in Clafer?
Author: mnovakov-gsd
Created: 2011-11-18 03:09:03+00:00
State: open

For example,

option A {
requires [A > 20]
flavor data
}

should it be translated to

A -> int ?
[A > 20]

or

A -> int
[A > 20]