data class Response: Compute Class representing a Response, from the Expression evaluator, to a Solve.Request Fields Name Description val result: Term The result of evaluation process Constructors <init> constructor(result: Term) Class representing a Response, from the Expression evaluator, to a Solve.Request Parameters Name Description result: Term
Class representing a Response, from the Expression evaluator, to a Solve.Request