To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package KaSim
-
KappaLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val value_alg :
Counter.t ->
?time:float ->
get_alg:(int -> Primitives.alg_expr) ->
get_mix:(Pattern.id array list -> Nbr.t) ->
get_tok:(int -> Nbr.t) ->
Primitives.alg_expr ->
Nbr.tval value_bool :
Counter.t ->
?time:float ->
get_alg:(int -> Primitives.alg_expr) ->
get_mix:(Pattern.id array list -> Nbr.t) ->
get_tok:(int -> Nbr.t) ->
(Pattern.id array list, int) Alg_expr.bool ->
bool