package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 5.2.1

Install

Dune Dependency

Authors

Maintainers

Sources

ocaml-5.2.1.tar.gz
sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0

doc/compiler-libs.common/Datarepr/index.html

Module Datarepr

val extension_descr : current_unit:string -> Path.t -> Types.extension_constructor -> Types.constructor_description
val labels_of_type : Path.t -> Types.type_declaration -> (Ident.t * Types.label_description) list
val constructors_of_type : current_unit:string -> Path.t -> Types.type_declaration -> (Ident.t * Types.constructor_description) list
exception Constr_not_found
val constructor_existentials : Types.constructor_arguments -> Types.type_expr option -> Types.type_expr list * Types.type_expr list

Takes cd_args and cd_res from a constructor_declaration and returns:

  • the types of the constructor's arguments
  • the existential variables introduced by the constructor
OCaml

Innovation. Community. Security.