logtk

Core types and algorithms for logic
IN THIS PACKAGE
Parameter #1 Logtk . PrefWeight . Make . PARAMETERS
val match_weight : float
val miss_weight : float