let push where pool bindings hints = Wp_parameters.debug ~level:3 "PUSH %d: %S@." (List.length !context) where ; let c = { pool=pool ; bindings=bindings ; hints=hints } in context := c :: !context ; c