sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Graph
module type OrderedType = sig ... end
module type S = sig ... end
module Make (Ord : OrderedType) : sig ... end