fact: Record DecoratedADTSig := { DecADTSig :> ADTSig; NumConstructors : nat; NumMethods : nat; ConstructorNames : Vector.t string NumConstructors; MethodNames : Vector.t string NumMethods }.
imports: Fiat.Common.ilist Fiat.Common.BoundedLookup Fiat.ADT.ADTSig Coq.Lists.List Coq.Strings.String