package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type

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