sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_compile . Make

Parameters

module C : Config

Signature

val compile_def : int -> int -> ctx -> Type_check.tannot Ast.def -> Jib.cdef list * ctx
val compile_ast : ctx -> Type_check.tannot Ast_defs.ast -> Jib.cdef list * ctx