Commits

Anonymous committed cb8fc2c

again relaxing #ti subtyping

  • Participants
  • Parent commits a001870

Comments (0)

Files changed (1)

 
 
 value ti_abs
- : tti 'arg -> tti 'res -> tti ('arg -> 'res)
+ : #tti 'arg -> #tti 'res -> #tti ('arg -> 'res)
  = fun ti_arg ti_res ->
      let rec apply
       : ubox -> ubox -> ubox