LambdaCube.SystemF.Elaborator
elaborate :: ExtLCTerm -> LCTerm Source #
elaborateType :: [Text] -> ExtLCType -> LCType Source #