- l -

• lb() : lala::Interval< U > , lala::NBitset< N, Mem, T >
• leq_k() : lala::ArithBound< PreUniverse, Mem >
• ListVarIndex() : lala::ListVarIndex< Allocator >
• lv() : lala::TFormula< Allocator, ExtendedSig >
• lvar_index_of() : lala::DispatchIndex< Allocator > , lala::HashMapVarIndex< Allocator > , lala::ListVarIndex< Allocator >