explain.mli 279 Bytes
Newer Older
1
2
3
type path

val print_path: Format.formatter -> path -> unit
4
val print: Format.formatter -> path -> unit
5
6
7
8
9
10

val explain: Types.t -> Value.t -> path option
  (** [explain v t] 
    Return a path on [v] that explains why [v] is not of type [t],
    or [None] if [v] has type [t]
  *)