package elpi
-
elpi
-
-
elpi.lexer_config
-
elpi.trace.ppx
-
elpi.trace.runtime
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This module defines what embedding and readback functions are
type extra_goals = extra_goal listtype 'a embedding =
depth:int ->
Data.state ->
'a ->
Data.state * Data.term * extra_goalstype 'a readback =
depth:int ->
Data.state ->
Data.term ->
Data.state * 'a * extra_goalstype 'a t = {ty : ty_ast;pp_doc : Format.formatter -> unit -> unit;pp : Format.formatter -> 'a -> unit;embed : 'a embedding;readback : 'a readback;
}