package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module C : Config

Signature

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