fact: Definition fromMethod {rep : Type} {dom : list Type} {cod : option Type} (meth : methodType rep dom cod) (r : rep) : rep -> Prop := fromMethod' (meth r).
imports: Fiat.ADT Fiat.ADTNotation Coq.Sets.Ensembles Coq.Lists.List