sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Parameter #1 Jib_smt . Make_optimizer . S
type 'a t
val create : unit -> 'a t
val add : 'a -> 'a t -> unit