Module Obj.Extension_constructor

module Extension_constructor: sig .. end

type t = extension_constructor 

val of_val : 'a -> t

val name : t -> string

val id : t -> int

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.