k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Error when searching two mappings in Map

From: wang_feng_bro AT 163.com
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Error when searching two mappings in Map
Date: Tue, 1 Aug 2017 10:07:07 +0800
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=wang_feng_bro AT 163.com

Hi,

I want to get two mappings in <env>. For instance, <env> … X |-> L0 Y |-> L1 … </env>. However, K generates a lot of warnings and returns no meaningful results. Is there another way to do this ?

Jerry

[[K-user] ] Error when searching two mappings in Map, wang_feng_bro, 07/31/2017