Home/ Questions/Q 9178627
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-17T17:35:50+00:00

If I have the following functor, how can I instantiate it with a ListMapFn

  • 0

If I have the following functor, how can I instantiate it with a ListMapFn?

functor G(M: ORD_MAP where type Key.ord_key = string) :
Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Something like

    structure S = G(ListMapFn(type ord_key = string; val compare = String.compare))

    or, if you prefer to name the ListMap instance:

    structure ListMap = ListMapFn(type ord_key = string; val compare = String.compare)
structure S = G(ListMap)
    • 0