Skip to content
  • Pietro Abate's avatar
    [r2003-10-24 09:22:10 by szach] - added: · 038bbed1
    Pietro Abate authored
    - inv_const (build the const type corresponding to a const value)
    
    - some infix comparison operators on Value.t
    
    - dump_xml (dump an XML representation of a Value.t type)
    
    - added ValueSet module
    
    Original author: szach
    Date: 2003-10-24 09:22:10+00:00
    038bbed1