[r2003-11-21 12:51:15 by szach] changed rec_of_list* helpers so that they use Ns.qname instead of string Original author: szach Date: 2003-11-21 12:51:15+00:00
Changed paths:
types/types.ml
types/types.mli