sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
type label
val make_label_map : Jib.instr list -> label StringMap.t
val output_label_instr : Buffer.t -> label StringMap.t -> string -> unit
val string_of_label : label -> string
val modify_instrs : Jib.instr list -> Jib.instr list
val keyword : string -> string
val typ : Jib.ctyp -> string
val value : Jib.cval -> string