package higher

  1. Overview
  2. Docs

Construct a newtype for a type constructor with no parameters.

type s
type t
val inj : s -> t
val prj : t -> s
OCaml

Innovation. Community. Security.