Hi all,
I'm wondering whether there is a way to get the original type of a
polymorphic constant -- e.g., given
c = ``$= : num -> num -> bool``
is there a way to obtain the most general type ``:'a -> 'a -> bool`` of the
constant ``$=``?
Thanks!
- Benja
------------------------------------------------------------------------------
Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer
http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
