package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

Dune Dependency

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

Authors

Maintainers

M

Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Modules/index.html

Module `Modules`

module E : sig ... end

exception Already_defined of string

exception Cannot_find_file of string

type env = {

mutable name : string;
mutable values : Global.value_desc E.t;
mutable types : Global.type_desc E.t;
mutable constr : Global.constr_desc E.t;
mutable label : Global.label_desc E.t;

}

type modules = {

current : env;
mutable opened : env list;
mutable modules : env E.t;

}

val current : env

val modules : modules

val clear : unit -> unit

val findfile : string -> string

val load_module : string -> 'a

val find_module : E.key -> env

val find : (string -> env -> 'a) -> Lident.t -> 'a Global.info

val open_module : E.key -> unit

val initialize : string -> unit

val add_value : E.key -> Global.value_desc -> unit

val add_type : E.key -> Global.type_desc -> unit

val add_constr : E.key -> Global.constr_desc -> unit

val add_label : E.key -> Global.label_desc -> unit

val find_value : Lident.t -> Global.value_desc Global.info

val find_type : Lident.t -> Global.type_desc Global.info

val find_constr : Lident.t -> Global.constr_desc Global.info

val find_label : Lident.t -> Global.label_desc Global.info

val write : out_channel -> unit

val qualify : string -> Lident.qualident

val longname : string -> Lident.t

val shortname : Lident.qualident -> string

val currentname : Lident.t -> Lident.t

val qualident : Lident.t -> Lident.qualident

val current_module : unit -> string