hp-saturn/attic/def-fields.v

19 lines
402 B
Coq
Raw Normal View History

2019-02-12 12:43:36 +01:00
`ifndef _DEF_FIELDS
`define _DEF_FIELDS
`define FT_TABLE_a 0
`define FT_TABLE_b 1
`define FT_TABLE_f 2
`define FT_TABLE_value 3 // value
`define FT_FIELD_P 0
`define FT_FIELD_WP 1
`define FT_FIELD_XS 2
`define FT_FIELD_X 3
`define FT_FIELD_S 4
`define FT_FIELD_M 5
`define FT_FIELD_B 6
`define FT_FIELD_W 7
`define FT_FIELD_A 15
`endif