}
module RoundCornerCut(ci) {
+ // ci should be [this_cnr, right_cnr]
+ // where right_cnr is to the right (ie, anticlockwise)
this_cnr = ci[0];
right_cnr = ci[1];
offr= round_cnr_rad - round_edge_rad;
}
function Rectangle_corners(c0, sz) =
+ // returns the corners of a rectangle from c0 to c0+sz
+ // if sz is positive, the corners are anticlockwise starting with c0
[ c0 + [ 0, 0 ],
c0 + [ sz[0], 0 ],
c0 + [ sz[0], sz[1] ],