Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Conversion for Elpi's built-in data types
val int : int Conversion.tSee Elpi_builtin for a few more
val float : float Conversion.tval string : string Conversion.tval list : 'a Conversion.t -> 'a list Conversion.tval loc : Ast.Loc.t Conversion.tval poly : string -> Data.term Conversion.tval closed : string -> (Data.term * int) Conversion.tval any : Data.term Conversion.t