sailccsailsignextend.tex « sail_latexcc « cheri - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailccsailsignextend.tex

blob: dfaa5c86a8c6ae15a710ff8414f9ade23949fa8f (plain)

val sail_sign_extend = "sign_extend" : forall 'n 'm, 'm >= 'n. (#\hyperref[zbits]{bits}#('n), atom('m)) -> #\hyperref[zbits]{bits}#('m)