package lilis

  1. Overview
  2. Docs
module Stream : sig ... end
module Lstream : Stream.S
type lstream = (string * float array) Lstream.t
type rule = {
  1. lhs : string;
  2. vars : string list;
  3. rhs : (string * string Mini_calc.arit_tree list) list;
}
type lsystem = {
  1. name : string;
  2. axiom : (string * float list) list;
  3. rules : rule list;
}
val lsystem_from_chanel : Pervasives.in_channel -> lsystem list
val lsystem_from_string : string -> lsystem list
val eval_lsys : int -> lsystem -> lstream
exception ArityError of string * string * int * int
val check_arity : lsystem -> unit
exception VarDefError of string * string * string
val check_vardef : lsystem -> Mini_calc.arit_env -> unit
module SMap : sig ... end
module Engine (Lstream : Stream.S) : sig ... end