package libsail

  1. Overview
  2. Docs

Parameters

module C : Config

Signature

val is_complete_wildcarded : Parse_ast.l -> ctx -> C.t Ast.pexp list -> Ast.typ -> C.t Ast.pexp list option
val is_complete : Parse_ast.l -> ctx -> C.t Ast.pexp list -> Ast.typ -> bool
OCaml

Innovation. Community. Security.