sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module type Jib_smt . Sequence
type 'a t
val create : unit -> 'a t
val add : 'a -> 'a t -> unit