package mirage-tc

  1. Overview
  2. Docs

Monorphize a type with two parameters.

Parameters

module F : S2
module X : S0
module Y : S0

Signature

type t = (X.t, Y.t) F.t
val equal : t equal
val compare : t compare
val hash : t hash
val to_json : t to_json

The REST inteface.

val of_json : t of_json
val size_of : t size_of

The serialization format.

val write : t writer
val read : t reader