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.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Zdepend/index.html

Module Zdepend

module StringSet : sig ... end
val add : StringSet.t ref -> Zparsetree.longname -> unit
val add_opt : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
val add_default : ('a -> 'b -> 'c) -> 'a -> 'b Zparsetree.default -> 'c
val add_size : StringSet.t ref -> Zparsetree.size -> unit
val add_type_expr : StringSet.t ref -> Zparsetree.type_expression -> unit
val add_type_decl : StringSet.t ref -> Zparsetree.type_decl -> unit
val add_exp : StringSet.t ref -> Zparsetree.exp -> unit
val add_op : StringSet.t ref -> Zparsetree.op -> unit
val add_field : StringSet.t ref -> (Zparsetree.longname * Zparsetree.exp) -> unit
val add_pattern : StringSet.t ref -> Zparsetree.pattern -> unit
val add_eq : StringSet.t ref -> Zparsetree.eq -> unit
val add_eq_list : StringSet.t ref -> Zparsetree.eq list -> unit
val add_block : 'a. (StringSet.t ref -> 'a -> unit) -> StringSet.t ref -> 'a Zparsetree.block -> unit
val add_local : StringSet.t ref -> Zparsetree.local -> unit
val add_statepat : StringSet.t ref -> Zparsetree.statepat -> unit
val add_state_exp : StringSet.t ref -> Zparsetree.state_exp -> unit
val add_escape : StringSet.t ref -> Zparsetree.escape -> unit
val add_scondpat : StringSet.t ref -> Zparsetree.scondpat -> unit
val add_match_handler : 'a. (StringSet.t ref -> 'a -> unit) -> StringSet.t ref -> 'a Zparsetree.match_handler -> unit
val add_present_handler : 'a. (StringSet.t ref -> 'a -> unit) -> StringSet.t ref -> 'a Zparsetree.present_handler -> unit
val add_state_handler : 'a. (StringSet.t ref -> 'a -> unit) -> StringSet.t ref -> 'a Zparsetree.state_handler -> unit
val add_forall_handler : StringSet.t ref -> Zparsetree.forall_handler -> unit
val file : ('a ref -> 'b -> unit) -> 'a -> 'b list -> 'a
val source_file : ?initial_structures:StringSet.t -> Zparsetree.implementation_desc Zparsetree.localized list -> StringSet.t
val interface_file : ?initial_structures:StringSet.t -> Zparsetree.interface_desc Zparsetree.localized list -> StringSet.t