dyntype

syntax extension which makes OCaml types and values easier to manipulate programmatically
Library dyntype
Module Dyntype . Value
type t =
| Unit
| Int of int64
| Bool of bool
| Float of float
| String of string
| Enum of t list
| Tuple of t list
| Dict of (string * t) list
| Sum of string * t list
| Null
| Value of t
| Arrow of string
| Rec of string * int64 * t
| Var of string * int64
| Ext of string * int64 * t
val free_vars : t -> (string * int64) list
val equal : t -> t -> bool
val to_string : t -> string
exception Parse_error of string
val of_string : string -> t