definitionmoduleSapl.Transform.TailRecursionimportData.MaybefromSapl.SaplStructimport::SaplTypedVar,::SaplTerm// Topological sort of the let definitions. Returns Nothing if a cycle is detectedsortSetters::![(SaplTypedVar,SaplTerm)]->Maybe[(SaplTypedVar,SaplTerm)]