sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_compile
val optimize_aarch64_fast_struct : bool ref
val opt_memo_cache : bool ref
val initial_ctx : Type_check.Env.t -> ctx
module type Config = sig ... end
module Make (C : Config) : sig ... end
val add_special_functions : Type_check.Env.t -> Type_check.Env.t
val name_or_global : ctx -> Ast.id -> Jib.name