Module Pcache_intf.Pcache_state
type ('r, 'kvop_map) pcache_state={root_ptr : 'r;past_map : 'kvop_map;current_ptr : 'r;current_map : 'kvop_map;}Pcache state, in addition to the plist
type ('r, 'kvop_map) t= ('r, 'kvop_map) pcache_state