1234567891011121314151617(** 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:string(** Read a data file. *)valget:string->'aend