sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module type Sail_lib . BitType
type t
val b0 : t
val b1 : t