Source file `ser_attributes.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
open Sexplib.Std

type vernac_flag =
  [%import: Attributes.vernac_flag]
and
 vernac_flag_value =
  [%import: Attributes.vernac_flag_value]
and vernac_flags =
  [%import: Attributes.vernac_flags]
  [@@deriving sexp,yojson]

type deprecation =
  [%import: Attributes.deprecation]
  [@@deriving sexp,yojson]