func mkmap(mv : set of lists of Entity) -> Map
pre size(fmap(length, mv)) = 1
pre size(fmap(all_but_last, mv) = size(mv)
post eval(result, all_but_last(xy)) = last(xy) forall xy in mv
Converts a set of lists into a Herman Venter
This is Slim documentation as snarfed on 27 May 1999 by dB.