Asak.Partition
type 'a partition = {
bad_type : 'a list;
Keys identifying codes that either don't implement the searched function, or implement it with a bad type.
*)clusters : ('a * string) list Wtree.wtree list;
Main result. Each class is composed of a tree representing a hierarchical clustering of "similar codes". Each leaf is a list of keys identifying "totally similar" codes, plus the considered code.
*)}
Type used to represent a partition.
val create :
int ->
string ->
Types.type_expr ->
('a * string) list ->
'a partition
Partitioning OCaml codes. Usage: create threshold name sol list
.
Get the type of a value from a ML file. Usage: find_value_type_from_file name file
.