sig val of_ops : B00.Op.t list -> B0_web.Jsong.t end