fact: Definition funType_to_methodType {rep : Type} {dom : list Type} {cod : Type} : funType (rep :: dom) (rep * cod) -> methodType rep dom (Some cod).
imports: Fiat.Common.Coq__8_4__8_5__Compat Fiat.ADT Fiat.ADTNotation Fiat.Computation.FixComp Coq.ZArith.ZArith Coq.Arith.PeanoNat