Skip to content

Adapt to coq/coq#17633 (decompose_app returns array not list) #47

Adapt to coq/coq#17633 (decompose_app returns array not list)

Adapt to coq/coq#17633 (decompose_app returns array not list) #47