sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
module Make (BitT : Sail_lib.BitType) : sig ... end