package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_complete_wildcarded : ?keyword:string -> Parse_ast.l -> Libsail__Pattern_completeness.ctx -> PC_config.t Ast.pexp list -> Ast.typ -> PC_config.t Ast.pexp list option
val is_complete_funcls_wildcarded : ?keyword:string -> Parse_ast.l -> Libsail__Pattern_completeness.ctx -> PC_config.t Ast.funcl list -> Ast.typ -> PC_config.t Ast.funcl list option
val is_complete : ?keyword:string -> Parse_ast.l -> Libsail__Pattern_completeness.ctx -> PC_config.t Ast.pexp list -> Ast.typ -> bool