ceq (cadr I) = if T :: InnerNode then (car T) else T fi if T := (cdr I) . ... op _ne_ : AExp AExp -> BExp [ctor prec 9] .
確定！ 回上一頁
