sig type 'a poly val instantiate : 'a Type.t -> 'a Type.POLYMORPHIC.poly Type.t val is_instance_of : 'a Type.t -> bool val get_instance : 'a Type.POLYMORPHIC.poly Type.t -> 'a Type.t end