Commits

camlspotter committed ce03396

name sapce

Comments (0)

Files changed (1)

 
 (** Types and values. They are so essential that they are exposed. *)
 
-type 'a typ = 'a Type.typ
-type 'a typs = 'a Type.typs
-type 'a v = 'a Value.v
-type 'a vs = 'a Value.vs
-
 module Phantom = Spotlib.Spot.Phantom
 include Phantom.Open
+include Type
+include Value
 
-module Type = Type
-module Value = Value
 module Gep = Gep
 module Genvalue = Genvalue
 module Create = Wrap.Create