Commits

Anonymous committed abd2d29

relaxed Cd_Json.ti_add_json

  • Participants
  • Parent commits 6828245

Comments (0)

Files changed (1)

 value ti_json_t = ((new ti_simple "Json_type.t") :> ti Jt.t)
 ;
 
-value ti_json_to ti_a = ti_abs ti_a ti_json_t
+value ti_json_to ti_a = ti_abs (ti_a :> tti _) ti_json_t
 ;
 
-value ti_json_from ti_a = ti_abs ti_json_t ti_a
+value ti_json_from ti_a = ti_abs ti_json_t (ti_a :> tti _)
 ;
 
 value ubox_to_json