fact: Variable methSigs : Vector.t methSig n'.
imports: Coq.Lists.List Coq.Strings.String Fiat.ADT.ADTSig Fiat.ADT.Core Fiat.Common Fiat.Common.BoundedLookup Fiat.Common.ilist Fiat.ADTNotation.BuildADTSig Fiat.ADTNotation.BuildADT