fact: Definition callADTMethod {dSig : DecoratedADTSig} (adt : DecoratedADT dSig) (idxMap : BoundedIndex (MethodNames dSig) -> MethodIndex dSig) (idx : BoundedIndex (MethodNames dSig)) := Methods adt (idxMap idx).
imports: Coq.Sets.Ensembles Coq.Lists.List Coq.Strings.String Fiat.Common Fiat.Computation Fiat.ADT.ADTSig Fiat.ADT.Core Fiat.ADT.ComputationalADT Fiat.Common.BoundedLookup Fiat.Common.ilist Fiat.ADTNotation.BuildADTSig Fiat.Common.Coq__8_4__8_5__Compat