package deriving

You can search for identifiers within the package.

in-package search v0.2.0

Extension to OCaml for deriving functions from type declarations

Install

sha256=080a1c983cee6f72a6cc28d9ddf056eb6d4e81daf58c192970e29a5ba03f63fa

md5=59558a23583fbc0c7c139f6ed22fbb54

type t

type delayed = t Lazy.t

val compare : t -> t -> int

val eq : t -> t -> bool

val mkFresh : string -> delayed list -> t

val mkTuple : delayed list -> t

val mkPolyv : (string * delayed option) list -> delayed list -> t