method function_section thekf = Format.fprintf out "@\n%s@\n--- Properties of Function '%s'@\n%s@\n@." bar (Kernel_function.get_name thekf) bar ; kf <- `Context thekf