fsml 0.2.1 · OCaml Package

Simple (int) expressions for FSMs

type ident = string

The type of identifiers occuring in expressions

val pp_ident : 
  Ppx_deriving_runtime.Format.formatter ->
  ident ->
  Ppx_deriving_runtime.unit

val show_ident : ident -> Ppx_deriving_runtime.string

val ident_to_yojson : ident -> Yojson.Safe.t

val ident_of_yojson : 
  Yojson.Safe.t ->
  ident Ppx_deriving_yojson_runtime.error_or

type t = {

}

and e_desc =

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val pp_e_desc : 
  Ppx_deriving_runtime.Format.formatter ->
  e_desc ->
  Ppx_deriving_runtime.unit

val show_e_desc : e_desc -> Ppx_deriving_runtime.string

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val e_desc_to_yojson : e_desc -> Yojson.Safe.t

val e_desc_of_yojson : 
  Yojson.Safe.t ->
  e_desc Ppx_deriving_yojson_runtime.error_or

type value = {

}

and e_val =

val pp_value : 
  Ppx_deriving_runtime.Format.formatter ->
  value ->
  Ppx_deriving_runtime.unit

val show_value : value -> Ppx_deriving_runtime.string

val pp_e_val : 
  Ppx_deriving_runtime.Format.formatter ->
  e_val ->
  Ppx_deriving_runtime.unit

val show_e_val : e_val -> Ppx_deriving_runtime.string

val of_value : e_val -> t

val mk_bool_expr : e_desc -> t

val mk_int_expr : e_desc -> t

type env = (ident * e_val) list

Evaluation environment

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

val show_env : env -> Ppx_deriving_runtime.string

val to_string : t -> string

val string_of_value : e_val -> string

val lookup_env : env -> ident -> e_val

val update_env : env -> (ident * e_val) -> env

exception Unbound_id of ident

exception Unknown_id of ident

exception Illegal_expr of t

val eval : env -> t -> e_val