sig
  type t = t list
  val syntax : Syntax.t
  val of_json : json -> t
  val to_json : t -> json
end