package codept-lib

  1. Overview
  2. Docs

Module Module.DefSource

Helper functions for definitions

Sourceval empty : definition
Sourceval modules : dict -> definition
Sourceval add : definition -> (string * t) -> definition
Sourceval add_type : definition -> (string * t) -> definition
Sourceval add_gen : level -> definition -> (string * t) -> definition
Sourceval weak_merge : definition -> definition -> definition

weak_merge x y never redefines values in x