1signature alignmentSyntax = 2sig 3 4 include Abbrev 5 6 val align_tm: term 7 val aligned_tm: term 8 val byte_align_tm: term 9 val byte_aligned_tm: term 10 11 val dest_align: term -> term * term 12 val dest_aligned: term -> term * term 13 val dest_byte_align: term -> term 14 val dest_byte_aligned: term -> term 15 16 val is_align: term -> bool 17 val is_aligned: term -> bool 18 val is_byte_align: term -> bool 19 val is_byte_aligned: term -> bool 20 21 val mk_align: term * term -> term 22 val mk_aligned: term * term -> term 23 val mk_byte_align: term -> term 24 val mk_byte_aligned: term -> term 25 26end 27