void enclose(picture pic=currentpicture, envelope e, Label[] L=new Label[], real xmargin=0, real ymargin=xmargin, pen p=currentpen, filltype filltype=NoFill, bool above=true) { real H; real[] h; pic.add(new void (frame f, transform t) { frame[] d=new frame[]; for (int i=0; i