sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_ir . Ir_formatter
module type Config = sig ... end
module Make (C : Config) : sig ... end