Module type Generic.COST
The module type COST
represents the definition of some arbitrary cost system for ranking expressions over some language.
Generic.COST
The module type COST
represents the definition of some arbitrary cost system for ranking expressions over some language.