← Back to branch summary

~ubuntu-branches/ubuntu/vivid/typerep/vivid

« back to all changes in this revision

Viewing changes to lib/type_equal.ml

  • Committer: Package Import Robot
  • Author(s): Hilko Bengen
  • Date: 2014-09-24 23:51:02 UTC
  • Revision ID: package-import@ubuntu.com-20140924235102-0qeq851f02otnnxp
Tags: upstream-111.17.00
Import upstream version 111.17.00

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/type_equal.ml
 
1
type (_, _) t = T : ('a, 'a) t
 
2
type ('a, 'b) equal = ('a, 'b) t
 
3
 
 
4
let refl = T
 
5
 
 
6
let conv : type a b. (a, b) t -> a -> b = fun T x -> x
 
7
 
 
8
module Lift (X: sig
 
9
  type 'a t
 
10
end) = struct
 
11
  let lift (type a) (type b) (T : (a, b) t) = (T : (a X.t, b X.t) t)
 
12
end