halt
fun halt(query: <ERROR CLASS>, exception: ResolutionException): Solution.Halt
Content copied to clipboard
fun halt( signature: Signature, arguments: List<<ERROR CLASS>>, exception: ResolutionException): Solution.Halt
Content copied to clipboard