2 ms·My guess is they sample closed lambda terms representing functions.by solomatov 2y agoMy guess is they sample closed lambda terms representing functions.