dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Parser
type stream
exception Parse_error of Basic.loc * string
val from_channel : Basic.mident -> in_channel -> stream
val read : stream -> Entry.entry
val handle_channel : Basic.mident -> ( Entry.entry -> unit ) -> in_channel -> unit
val parse_channel : Basic.mident -> in_channel -> Entry.entry list