package dune

  1. Overview
  2. Docs
package dune
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file type_eq.ml

1
2
3
type ('a, 'b) t = T : ('a, 'a) t

let cast (type a) (type b) (T : (a, b) t) (x : a) : b = x