|| Generated Sapl file for Functor.icl <{Functor.<$>}> !_vFunctor_0 = Functor.get_fmap_0 _vFunctor_0 || Converted Records :: <{Functor.Functor;}> = {Functor.fmap} Functor.get_fmap_0 rec = select rec (\ a1 = a1) Functor.set_fmap_0 rec val = select rec (\ a1 = <{Functor.Functor;}> val)