Language.Fixpoint.Defunctionalize

defunctionalize

class Defunc a

defuncAny

defuncAxioms