package herdtools7

  1. Overview
  2. Docs
module SEnv = StaticEnv
type env = SEnv.env
val fatal : Error.error -> 'a
val fatal_from : 'a AST.annotated -> Error.error_desc -> 'b
exception StaticEvaluationUnknown
exception NotYetImplemented
val value_as_int : 'a AST.annotated -> AST.literal -> int
val is_positive : Z.t -> bool
val is_strict_positive : Z.t -> bool
val bv_same_length : Bitvector.t -> Bitvector.t -> bool
val exp_real : Q.t -> Z.t -> Q.t
val binop_values : 'a AST.annotated -> AST.binop -> AST.literal -> AST.literal -> AST.literal
val unop_values : 'a AST.annotated -> AST.unop -> AST.literal -> AST.literal
val int_max : 'a -> 'a -> 'a
val static_eval : SEnv.env -> AST.expr -> AST.literal
val slices_to_positions : SEnv.env -> AST.slice list -> int list
module Normalize : sig ... end
val equal_in_env : StaticEnv.env -> AST.expr -> AST.expr -> bool
val statically_free_variables : StaticEnv.env -> AST.expr -> ASTUtils.ISet.t
val bitwidth_statically_equal_in_env : StaticEnv.env -> AST.expr -> AST.expr -> bool
OCaml

Innovation. Community. Security.