langle | DDC.Core.Pretty |
LazyBindings | DDC.Core.Fragment |
lbrace | DDC.Core.Pretty |
lbracket | DDC.Core.Pretty |
LetLazy | DDC.Core.Exp |
LetMode | DDC.Core.Exp |
Lets | DDC.Core.Exp |
LetStrict | DDC.Core.Exp |
lexExp | DDC.Core.Lexer |
lexModuleWithOffside | DDC.Core.Lexer |
lift | DDC.Type.Env |
liftAtDepthT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
liftAtDepthX | DDC.Core.Transform.LiftX |
liftT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
liftX | DDC.Core.Transform.LiftX |
line | DDC.Core.Pretty |
linebreak | DDC.Core.Pretty |
list | DDC.Core.Pretty |
LLet | DDC.Core.Exp |
LLetRegions | DDC.Core.Exp |
loadExp | DDC.Core.Load |
loadModuleFromFile | DDC.Core.Load |
loadModuleFromString | DDC.Core.Load |
loadModuleFromTokens | DDC.Core.Load |
loadType | DDC.Core.Load |
loadWitness | DDC.Core.Load |
lookup | DDC.Type.Env |
lookupModeOfDataType | DDC.Type.DataDef |
lookupName | DDC.Type.Env |
lowerAtDepthT | DDC.Type.Transform.LiftT |
lowerAtDepthX | DDC.Core.Transform.LiftX |
lowerT | DDC.Type.Transform.LiftT |
lowerX | DDC.Core.Transform.LiftX |
lparen | DDC.Core.Pretty |
LRec | DDC.Core.Exp |
LWithRegion | DDC.Core.Exp |