package zelus

You can search for identifiers within the package.

in-package search v0.2.0

A synchronous language with ODEs

Install

dune-project

Dependency

sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862

md5=83fb886e4b14ce286e7a6eb59248be4b

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 Matching.pattern -> ('a * int) list

val matS : 
  LANG.tag ->
  int ->
  LANG.tag Matching.pattern list list ->
  LANG.tag Matching.pattern list list

val matD : 'a Matching.pattern list list -> 'a Matching.pattern list list

val algU : 
  SSet.elt Matching.pattern list list ->
  LANG.tag Matching.pattern list ->
  bool

type !'a trivec = 'a Matching.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 Matching.pattern list option

val algI : 
  SSet.elt Matching.pattern list list ->
  int ->
  SSet.elt Matching.pattern list option

type result = Matching.PATTERN_CHECKER(LANG).result = {

}

val check : LANG.pattern_ast list -> result