LAM.Exec.NamedNoTrimPure
mark2 :: State -> IO (Either String State) #
isLAM :: IsLAM IO String State Term #
isLAMC :: IsLAM IO String State (Closure Term Trie) #