1: # 212 "./lpsrc/flx_types.ipk" 2: (** Types used in the Felix compiler *) 3: open Big_int 4: 5: (** type of a position in the {e original} sources *) 6: type srcref = 7: string (* filename *) * 8: int (* line number, 1 origin *) * 9: int (* starting column, 1 origin *) * 10: int (* ending column, 1 origin *) 11: 12: (** type of a span between two positions in one file*) 13: type range_srcref = 14: string * (* filename *) 15: int * (* starting line number, 1 origin *) 16: int * (* starting column, 1 origin *) 17: int * (* ending line number, 1 origin *) 18: int (* ending column, 1 origin *) 19: 20: type bigint = big_int 21: