invoke

operator fun invoke(solver: Solver, name: String, smtName: String, type: Type?, element: Element?, thisFromConstructor: Boolean = false): ParamInfo

Content copied to clipboard