explain.mli 301 Bytes
Newer Older
1
type t
2

3
val print: Format.formatter -> t -> unit
4
val to_string: t -> string
5

6
7
val explain: Types.t -> Types.t -> Value.t -> t option
  (** [explain t0 t v] 
8
    Return a path on [v] that explains why [v] is not of type [t],
9
10
    or [None] if [v] has type [t].
    [v] is assumed to have type [t0].
11
  *)