package stk

  1. Overview
  2. Docs

Creating a property type from a value description.

Parameters

module T : PT

Signature

type t = T.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