let klass_to_functions aklass = let s = aklass.sections in (Refines, s.refines) :: (Mains, s.mains) :: klass_to_methods aklass