package learn-ocaml

  1. Overview
  2. Docs
type repr
type !'a ty =
  1. | Ty of repr
val obj : 'a ty -> Parsetree.core_type
val repr : Parsetree.core_type -> 'a ty
val print : 'a ty -> string
val domains : ('a -> 'b) ty -> 'a ty * 'b ty
val curry : 'a ty -> 'b ty -> ('a -> 'b) ty
val pair2 : 'a ty -> 'b ty -> ('a * 'b) ty
val pair3 : 'a ty -> 'b ty -> 'c ty -> ('a * 'b * 'c) ty
val pair4 : 'a ty -> 'b ty -> 'c ty -> 'd ty -> ('a * 'b * 'c * 'd) ty
val lst : 'a ty -> 'a list ty
OCaml

Innovation. Community. Security.