- g -

• geq_k() : lala::ArithBound< PreUniverse, Mem >
• get_allocator() : lala::AbstractDeps< Allocators > , lala::Simplifier< A, Allocator > , lala::VarEnv< Allocator > , lala::VStore< U, Allocator >