.mli for membership procedure (mem.ml*)