ocaml - OCamlの「`」とは何ですか?

Question

type t = {
      dir : [ `Buy | `Sell ];
      quantity : int;
      price : float;
      mutable cancelled : bool;
    }

BuyとSellの前に`がありますが、これはどういう意味ですか?

また、タイプは何[ | ]ですか？