let
to_int i =
List
.assoc i lib_to_int