package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Deps_tools/index.html

Module Deps_tools

val load_path : (string * string array) list ref
val force_slash : bool ref
val error_occurred : bool ref
val fix_slash : string -> string
val expand_directory : string -> string -> string
val remove_file : string -> unit
val add_to_load_path : string -> unit
val add_to_synonym_list : string list ref -> string -> unit
val find_file : string -> string
val find_dependency : string -> string list -> string list
val depends_on : string
val escaped_eol : string
val print_filename : string -> unit
val print_dependencies : string -> string list -> unit
val preprocessor : string option ref
exception Preprocessing_error
val preprocess : string -> string
val remove_preprocessed : string -> unit
val lexical_error : 'a -> Location.location -> 'b
val syntax_error : Location.location -> 'a
val parse : ('a -> Lexing.lexbuf -> 'b) -> 'a -> Lexing.lexbuf -> 'b
val parse_implementation_file : Lexing.lexbuf -> Parsetree.implementation list
val parse_interface_file : Lexing.lexbuf -> Parsetree.interface list
val parse_use_file : in_channel -> Parsetree.implementation list
val parse_interface : in_channel -> Parsetree.interface list
val zls_dependencies : string -> string list
val zli_dependencies : string -> string list
val zls_file_dependencies : string -> unit
val zli_file_dependencies : string -> unit