Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
exception Parse_error of Kernel.Basic.loc * stringval input_from_file : string -> inputval input_from_stdin : Kernel.Basic.mident -> inputval input_from_string : Kernel.Basic.mident -> string -> inputval md_of_input : input -> Kernel.Basic.midentval md_of_file : string -> Kernel.Basic.midentval file_of_input : input -> string optionval close : input -> unitval read : stream -> Entry.entryread str reads a single entry from the parser stream str. When no more entry is available, the End_of_file exception is raised.
from_channel in creates a parser stream for the environment env env given the input in.
val handle : input -> (Entry.entry -> unit) -> unithandle in f parses the input in in the environment env, using the action f on each entry. Note that the input is parsed lazily. This function can thus be applied to stdin.
val parse : input -> Entry.entry listparse in completely parses the input in and returns the corresponding list of entries.