(* Title: ML_Utils/functor_instance_antiquot.ML Author: Kevin Kappelmann Antiquotation to create functor instances with FUNCTOR_INSTANCE_ARGS (FIA) arguments. *) signature FUNCTOR_INSTANCE_ANTIQUOT = sig end structure Functor_Instance_Antiquot : FUNCTOR_INSTANCE_ANTIQUOT = struct