小编Ian*_*AFK的帖子

data MinList (min : ?) : Set where
  []    : MinList min
  _??_?_ : (x : ?) -> min ? x -> MinList x -> MinList min

什么是<< >>意味着什么？

或者是什么意思

_??_?_ : (x : ?) -> min ? x -> MinList x -> MinList min

谢谢