sig
  type t
  val syntax : Syntax.t
  val of_json : Request.json -> Request.Input.t
end