package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

package herdtools7

Herdtools7
- Getting started with ASLRef
- Library herdtools7.asllib
  - Asllib
    
    AST
    
    ASTUtils
    
    ISet
    
    IMap
    
    Infix
    
    Asl_stdlib
    
    Backend
    
    SCOPE
    
    S
    
    Scope
    
    Bitvector
    
    Builder
    
    Desugar
    
    Diet
    
    ELT
    
    INTERVAL_SET
    
    Interval
    
    Make
    
    Interval
    
    Int
    
    Interval
    
    Int64
    
    Interval
    
    Z
    
    Interval
    
    Env
    
    RunTimeConf
    
    Scope
    
    S
    
    Scope
    
    RunTime
    
    Scope
    
    Error
    
    PPrint
    
    ERROR_PRINTER_CONFIG
    
    ErrorPrinter
    
    Gparser0
    
    Instrumentation
    
    SemanticsRule
    
    SemanticsCmp
    
    TypingRule
    
    TypingCmp
    
    SemanticsSet
    
    TypingSet
    
    SemanticsMap
    
    TypingsMap
    
    SEMINSTR
    
    TYPINSTR
    
    SEMBUFFER
    
    TYPBUFFER
    
    SemMake
    
    TypMake
    
    SemanticsNoBuffer
    
    TypingNoBuffer
    
    SemanticsSingleBuffer
    
    TypingSingleBuffer
    
    SemanticsSingleSetBuffer
    
    TypingSingleSetBuffer
    
    SemanticsNoInstr
    
    TypingNoInstr
    
    SemanticsSingleInstr
    
    TypingSingleInstr
    
    SemanticsSingleSetInstr
    
    TypingSingleSetInstr
    
    Interpreter
    
    S
    
    B
    
    Scope
    
    IEnv
    
    Scope
    
    Config
    
    Instr
    
    Make
    
    B
    
    IEnv
    
    Scope
    
    Lexer
    
    CONFIG
    
    Make
    
    Lexer0
    
    Native
    
    NoScope
    
    StaticBackend
    
    Scope
    
    DeterministicBackend
    
    Scope
    
    DeterministicInterpreter
    
    B
    
    IEnv
    
    Scope
    
    Operations
    
    PP
    
    Parser
    
    Make
    
    Parser0
    
    ParserConfig
    
    CONFIG
    
    RepeatableLexer
    
    Serialize
    
    SideEffect
    
    TimeFrame
    
    SES
    
    SESet
    
    SimpleLexer0
    
    Splitasl
    
    StaticEnv
    
    StaticInterpreter
    
    SB
    
    StaticModel
    
    StaticOperations
    
    CONFIG
    
    Make
    
    Storage
    
    Tokens
    
    TopoSort
    
    ASTFold
    
    OrderedHashedType
    
    Make
    
    Properties
    
    Types
    
    Domain
    
    Typing
    
    ANNOTATE_CONFIG
    
    S
    
    Annotate
    
    TypeCheckDefault
    
    Version
- Sources
  - herdtools7.asllib
    
    ASTUtils.ml
    
    Interpreter.ml
    
    Lexer.ml
    
    Native.ml
    
    Operations.ml
    
    PP.ml
    
    Parser.ml
    
    Serialize.ml
    
    SideEffect.ml
    
    StaticEnv.ml
    
    StaticInterpreter.ml
    
    StaticModel.ml
    
    StaticOperations.ml
    
    Tokens.ml
    
    TopoSort.ml
    
    Typing.ml
    
    Version.ml
    
    asl_stdlib.ml
    
    asllib.ml
    
    bitvector.ml
    
    builder.ml
    
    desugar.ml
    
    diet.ml
    
    env.ml
    
    error.ml
    
    instrumentation.ml
    
    splitasl.ml
    
    storage.ml
    
    types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Asllib.Operations`Source

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

Source

val binop_values : 
  'a AST.annotated ->
  Error.error_handling_time ->
  AST.binop ->
  AST.literal ->
  AST.literal ->
  AST.literal

Source

val unop_values : 
  'a AST.annotated ->
  Error.error_handling_time ->
  AST.unop ->
  AST.literal ->
  AST.literal

package herdtools7

Module Asllib.OperationsSource

Module `Asllib.Operations`Source