sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_ir
val zencode_id : Ast.id -> string
module StringMap : sig ... end
val string_of_name : Jib.name -> string
val string_of_clexp : Jib.clexp -> string
val add_instr : 'a -> Buffer.t -> int -> string -> unit
module Ir_formatter : sig ... end
val colored_ir : bool ref
val with_colors : ( unit -> 'a ) -> unit
module Flat_ir_formatter : sig ... end