package libsail

  1. Overview
  2. Docs


module C : Config


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

Compile a Sail definition into a Jib definition. The first two arguments are is the current definition number and the total number of definitions, and can be used to drive a progress bar (see Util.progress).

val compile_ast : ctx -> Type_check.tannot Ast_defs.ast -> Jib.cdef list * ctx