package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

md5=437ae922f1fda392efca3e37e8b8bb4c

sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

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

type !'a trivec = 'a Zmatching.PATTERN_CHECKER(LANG).trivec = {

}

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 = {

}

val check : LANG.pattern_ast list -> result