Module Generic.MakeExtractor
This functor MakeExtractor
allows users to construct an EGraph extraction procedure for a given LANGUAGE
and COST
system.
Generic.MakeExtractor
This functor MakeExtractor
allows users to construct an EGraph extraction procedure for a given LANGUAGE
and COST
system.