package elpi

  1. Overview
  2. Docs

key for Elpi's flexible data

type t
val make : ?name:string -> Data.state -> Data.state * t
val get : name:string -> Data.state -> t option
val pp : Format.formatter -> t -> unit
val show : t -> string
val equal : t -> t -> bool
val hash : t -> int
OCaml

Innovation. Community. Security.