package sail

  1. Overview
  2. Docs
val is_complete : ctx -> 'a Ast.pexp list -> bool
val check : Parse_ast.l -> ctx -> 'a Ast.pexp list -> unit
OCaml

Innovation. Community. Security.