(* Title: Zippy/zippy_base_base.ML Author: Kevin Kappelmann *) signature ZIPPY_BASE_BASE = \<^eval>‹pfx_sfx_nargs "ALTERNATING_ZIPPER_UTIL"› functor Zippy_Base_Base(A : \<^eval>‹pfx_sfx_nargs "ALTERNATING_ZIPPER_UTIL"›) : ZIPPY_BASE_BASE = A