package provider

  1. Overview
  2. Docs

Source file type_eq_opt.ml

1
2
3
type (_, _) t =
  | Equal : ('a, 'a) t
  | Not_equal : ('a, 'b) t