module languages/fdl/syntax/Definitions

imports languages/fdl/syntax/Expressions

exports

sorts FeatureDefinition

context-free syntax

FeatureName":" FeatureExpression -> FeatureDefinition {cons("featuredefinition")}