package libsail

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

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