package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
exception Parse_error of Basic.loc * stringval from_channel : Basic.mident -> in_channel -> streamval read : stream -> Entry.entryval handle_channel :
Basic.mident ->
(Entry.entry -> unit) ->
in_channel ->
unitval parse_channel : Basic.mident -> in_channel -> Entry.entry list