Define p1_lib.mli