documenting pyre code