sig
  type t
  val syntax : Syntax.t
  val to_json : Request.Output.t -> Request.json
end