Struct instantiatedOp::ActionParametersOutput

Defined in File instantiationIP.h

Nested Relationships

This struct is a nested type of Class instantiatedOp.

Struct Documentation

struct ActionParametersOutput

Public Functions

inline ActionParametersOutput(const FastEnvironment &bs)

inline string operator()(const var_symbol *v) const

Public Members

const FastEnvironment &bindings