sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
val output_instr : int -> Buffer.t -> int -> Flat_ir_config.label StringMap.t -> Jib.instr -> unit
val output_instrs : int -> Buffer.t -> int -> Flat_ir_config.label StringMap.t -> Jib.instr list -> unit
val id_ctyp : (Ast.id * Jib.ctyp) -> string
val uid_ctyp : ((Ast.id * Jib.ctyp list) * Jib.ctyp) -> string
val output_def : Buffer.t -> Jib.cdef -> unit
val output_defs : Buffer.t -> Jib.cdef list -> unit