Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val program : string list -> Ast.program
program file_list
parses a list of files
val program_from_stream : char Stdlib.Stream.t -> Ast.program
val goal : string -> Ast.query
goal file_list
parses the query
val goal_from_stream : char Stdlib.Stream.t -> Ast.query