fact: Definition LiftcMethod (rep : Type) (dom : list Type) (cod : option Type) (cMethod : cMethodType rep dom cod) : methodType rep dom cod := fun r => LiftcMethod' rep dom cod (cMethod r).
imports: Fiat.Common Fiat.Computation Fiat.ADT.ADTSig Fiat.ADT Coq.Sets.Ensembles