package elpi

  1. Overview
  2. Docs

Conversion for Elpi's built-in data types

val int : int Conversion.t

See Elpi.Builtin for a few more

val float : float Conversion.t
val string : string Conversion.t
val list : 'a Conversion.t -> 'a list Conversion.t
val poly : string -> Data.term Conversion.t
val closed : string -> (Data.term * int) Conversion.t