package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Manipulating data in the Soc interpreter

type path = Soc.ident list

type subst = path * Data.v

type substs

val sadd : substs -> path -> Data.v -> substs

val sadd_partial : substs -> Soc.var_expr -> path -> Data.v -> substs

type ctx = {

}

val create_ctx : Soc.tbl -> Soc.t -> ctx

val get_val : Soc.ident -> ctx -> Data.v

val get_value : ctx -> Soc.var_expr -> Data.v

val get_enum : Soc.ident -> ctx -> Soc.ident

val get_vals : ctx -> Data.subst list

val string_of_substs : substs -> string

val dump_substs : substs -> unit

val read_enum : Soc.ident list -> Soc.ident

val read_value : Soc.var -> Data.v

val substitute_args_and_params : 
  Soc.var_expr list ->
  Soc.var list ->
  ctx ->
  substs

val substitute_params_and_args : 
  Soc.var list ->
  Soc.var_expr list ->
  ctx ->
  substs

val filter_top_subst : substs -> Data.subst list

val substs_to_data_subst : substs -> Data.subst list