package herdtools7

  1. Overview
  2. Docs
package herdtools7
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Asllib.StaticInterpreterSource

Sourcemodule SEnv = StaticEnv
Sourcetype env = SEnv.env
Sourceval fatal : Error.error -> 'a
Sourceval fatal_from : 'a AST.annotated -> Error.error_desc -> 'b
Sourceexception StaticEvaluationUnknown
Sourceexception NotYetImplemented
Sourceval value_as_int : 'a AST.annotated -> AST.literal -> int
Sourceval is_positive : Z.t -> bool
Sourceval is_strict_positive : Z.t -> bool
Sourceval bv_same_length : Bitvector.t -> Bitvector.t -> bool
Sourceval exp_real : Q.t -> Z.t -> Q.t
Sourceval unop_values : 'a AST.annotated -> AST.unop -> AST.literal -> AST.literal
Sourceval int_max : 'a -> 'a -> 'a
Sourceval static_eval : SEnv.env -> AST.expr -> AST.literal
Sourceval slices_to_positions : SEnv.env -> AST.slice list -> int list
Sourcemodule Normalize : sig ... end
Sourceval equal_in_env : StaticEnv.env -> AST.expr -> AST.expr -> bool
Sourceval statically_free_variables : StaticEnv.env -> AST.expr -> ASTUtils.ISet.t
Sourceval bitwidth_statically_equal_in_env : StaticEnv.env -> AST.expr -> AST.expr -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct