package deepseek

  1. Overview
  2. Docs
Deepseek v4 LLM

Install

dune-project
 Dependency

Authors

Maintainers

Sources

deepseek-0.1.0.tbz
md5=816187f01c004f7b1b554512a45ce9df
sha512=4dd13eea0977d1064bd580c366673e819f8f06874fd6e3b83bf9a585c283ffa9ff9fee0ff671127a5f60320a22bf1c84f526855916564da6de72e1c335c86e63

doc/deepseek.dsml/Dsml/Codec/Invoke/index.html

Module Codec.InvokeSource

Build an invoke codec member-by-member, like Json.Codec.Object.

Sourcetype ('o, 'dec) map

A partially-built invoke codec for 'o, constructed by 'dec.

Sourceval map : string -> 'dec -> ('o, 'dec) map

map name dec starts an invoke for tool name assembled by dec.

Sourceval param : enc:('o -> 'a) -> ?description:string -> string -> 'a value -> ('o, 'a -> 'b) map -> ('o, 'b) map

param ~enc ?description name v m adds required parameter name of type v to the invoke under construction m. enc projects the value from 'o when encoding, and description documents the parameter in the derived schema.

Sourceval seal : ('o, 'o) map -> 'o t

seal m finalises the invoke codec.