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
val term : Data.pretty_printer_context -> Format.formatter -> Data.term -> unitval constraints :
Data.pretty_printer_context ->
Format.formatter ->
Data.constraints ->
unitval state : Format.formatter -> Data.state -> unitval program : Format.formatter -> 'a Compile.query -> unitval goal : Format.formatter -> 'a Compile.query -> unitmodule Ast : sig ... end