binary-map-fn.info

来自「这是我们参加06年全国开源软件的竞赛作品」· INFO 代码 · 共 7 行

@FILES
  {"binary-map-fn"; "The BinaryMapFn functor";}
@SIGNATURE ORD_MAP
@SIGNATURE ORD_KEY
@FUNCTOR BinaryMapFn "binary-map-fn" ORD_KEY
ORD_MAP