/aarch64_small/mono-splices/

• ../
• ASR_C.sail
• BigEndianReverse.sail
• CountLeadingSignBits.sail
• DecodeBitMasks.sail
• LSL_C.sail
• LSR_C.sail
• Poly32Mod2.sail
• Replicate.sail
• SignExtend.sail
• ZeroExtend.sail
• _wMem.sail