external push_state : string -> string -> string -> unit -> unit = "pushState" [@@bs.val] [@@bs.scope "history"]