path: root/cheri/sail_latex/sailcapToString.tex

val capToString : CapStruct -> string effect {escape}