Struct instantiatedOp::ActionParametersOutput

• Defined in File instantiation.h

Nested Relationships

This struct is a nested type of Class instantiatedOp.

Struct Documentation

struct ActionParametersOutput

Public Functions

inline ActionParametersOutput(const VAL::FastEnvironment &bs)

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

Public Members

const VAL::FastEnvironment &bindings