LambdaCube.SystemFw_.Elaborator
elaborate :: ExtLCTerm -> LCTerm Source #
elaborateType :: ExtLCType -> LCType Source #
elaborateKind :: ExtLCKind -> LCKind Source #