13: # 848 "./lpsrc/flx_types.ipk" 14: open Flx_ast 15: type version_data_t = 16: { 17: version_string : string; 18: build_time_float : float; 19: build_time : string; 20: buildno : int; 21: } 22:
5.8.2.1. Pattern extractor