package odb-server

  1. Overview
  2. Docs
type opn =
  1. | Set
  2. | Plus
  3. | Minus
type vardef = string * opn * string
type rule = string list * vardef list
type phrase =
  1. | Vardef of vardef
  2. | Rule of rule
module SMap : sig ... end
type env = {
  1. env_vars : string SMap.t;
  2. env_targets : string SMap.t SMap.t;
}
val empty_env : env
val add_vars : env -> string SMap.t -> env
val get_value : env -> SMap.key -> string