1signature cheri_stepLib = 2sig 3 val hex_to_padded_opcode: string -> Term.term 4 5 val cheri_decode: Term.term -> Thm.thm 6 val cheri_decode_hex: string -> Thm.thm 7 val cheri_dict: (string, Term.term) Redblackmap.dict 8 val cheri_step: Term.term -> Thm.thm list 9 val cheri_step_hex: string -> Thm.thm list 10 11 val cheri_find_opc: Term.term -> (string * Term.term) list 12end 13