package owi

  1. Overview
  2. Docs
type 'a ty
val fresh : string -> 'a ty
val name : 'a ty -> string
val eq : 'a ty -> 'b ty -> ('a, 'b) eq option
OCaml

Innovation. Community. Security.