PropCheck.OutputAgent.put

You're seeing just the function put, go back to PropCheck.OutputAgent module for more information.

Put new output to the agent.