I am trying to find the definition of the list
type (and its constructors). Even builtin types, e.g., int
, are defined in Ltac2/Init.v
. But I cannot find any trace of list
.
possibly because the constructor names aren't valid in ltac2 syntax
I see.
Last updated: Dec 07 2023 at 09:01 UTC