package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Module.SigSource

Helper functions for signature

Sourceval card : signature -> int
Sourceval weak_merge : signature -> signature -> signature

weak_merge x y never redefines values in x

Sourceval flatten : signature -> definition
Sourceval is_exact : signature -> bool
Sourceval create : named -> signature
Sourceval create_type : named -> signature
Sourceval gen_create : level -> named -> signature
Sourceval of_lists : named list -> named list -> signature
Sourceval of_list : named list -> signature
Sourceval of_list_type : named list -> signature
Sourceval add_type : signature -> named -> signature
Sourceval add_gen : level -> signature -> named -> signature
Sourceval empty : signature
Sourceval pp : Format.formatter -> signature -> unit