explain.mli 274 Bytes
Newer Older
1
type t
2

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

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