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