library def