Struct instantiatedDrv::DerivationRuleParametersOutput

• Defined in File instantiation.h

Nested Relationships

This struct is a nested type of Class instantiatedDrv.

Struct Documentation

struct DerivationRuleParametersOutput

Public Functions

inline DerivationRuleParametersOutput(const VAL::FastEnvironment &bs)

inline string operator()(const VAL::var_symbol *v) const

inline string operator()(const VAL::parameter_symbol *v) const

Public Members

const VAL::FastEnvironment &bindings