package typerep

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type _ tag =
  1. | Tag : ('variant, 'a) Tag.t -> 'variant tag
type _ value =
  1. | Value : ('variant, 'a) Tag.t * 'a -> 'variant value
type 'a t = {
  1. typename : 'a Typename.t;
  2. tags : 'a tag array;
  3. polymorphic : bool;
  4. value : 'a -> 'a value;
}