1234567891011121314(** Configuration values *)moduletypeType=sig(** Directory of compiled Unicode data *)valdatadir:string(** Directory of compiled character mapping tables a la ISO *)valcharmapdir:string(** Directory of camomile-style compiled character mapping table *)valunimapdir:string(** Directory of compiled locale data *)vallocaledir:stringend