File: type_distance.mli

package info (click to toggle)
ocaml-odoc 3.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 14,008 kB
  • sloc: ml: 60,567; javascript: 2,572; sh: 566; makefile: 31
file content (8 lines) | stat: -rw-r--r-- 320 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
 
type t

val paths_of_type : Db.Typexpr.t -> t

val v : query_paths:t -> entry:Db.Typexpr.t -> int
(** [Type_distance.v ~query_paths ~entry] is an integer representing a notion of
    distance between two types. [query_paths] is a type from a query, and [entry] is
    the type of a possible candidate for this query. *)