Parameter Pickle_from_dump.E

type a = P.a
val eq : a -> a -> bool