_interface_ MagicUFs 1
_exports_
MagicUFs MagicUnfoldingFun mkMagicUnfoldingFun;
_declarations_
1 data MagicUnfoldingFun;
1 mkMagicUnfoldingFun _:_ Unique.Unique -> MagicUnfoldingFun ;;