package sail

  1. Overview
  2. Docs

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 -> Jib.cdef list * ctx
OCaml

Innovation. Community. Security.