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/Patternsig/C/index.html

Module Patternsig.C

module SSet : sig ... end
val uniq : SSet.elt list -> SSet.elt list
val is_complete : SSet.elt list -> bool
val not_in : SSet.elt list -> LANG.tag
val head_constrs : 'a Zmatching.pattern -> ('a * int) list
val matS : LANG.tag -> int -> LANG.tag Zmatching.pattern list list -> LANG.tag Zmatching.pattern list list
val matD : 'a Zmatching.pattern list list -> 'a Zmatching.pattern list list
val algU : SSet.elt Zmatching.pattern list list -> LANG.tag Zmatching.pattern list -> bool
and !'a trimat = 'a trivec list
val trimatS : LANG.tag -> int -> LANG.tag trivec list -> LANG.tag trivec list
val shift1 : 'a trivec -> 'a trivec
val shift2 : 'a trivec -> 'a trivec
val simple_union : 'a list option -> 'a list option -> 'a list option
val union : 'a -> 'a -> 'a list option -> 'a list option -> 'a list option
val algU' : SSet.elt trivec list -> SSet.elt trivec -> LANG.tag Zmatching.pattern list option
val algI : SSet.elt Zmatching.pattern list list -> int -> SSet.elt Zmatching.pattern list option
type result = Zmatching.PATTERN_CHECKER(LANG).result = {
  1. not_matched : LANG.pattern_ast option;
  2. redundant_patterns : LANG.pattern_ast list;
}
val check : LANG.pattern_ast list -> result