type book_id val search : string -> (book_id * string) list val author : book_id -> string