Derive show meaning

I have found this piece of code online:

type simple =
    { ok: bool; } [@@deriving show]

and I can’t get what does it mean, what is it, and what is it used for? I mean, what is it’s real application?

That’s documented here: GitHub - ocaml-ppx/ppx_deriving: Type-driven code generation for OCaml

Btw, it’s the first search result for ocaml deriving show.

Right, now it’s illustrative.