package stk

  1. Overview
  2. Docs

Parameters

module T1 : PT
module T2 : PT

Signature

type t = T1.t * T2.t
val compare : t -> t -> int
val wrapper : t Ocf.Wrapper.t option
val from_prop_value : prop_value -> t
val to_prop_value : t -> prop_value
val mk_prop : t mk_prop