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