package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

package herdtools7

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t =

| BuiltinSingularType
| BuiltinAggregateType
| BuiltinSingularOrAggregate
| NamedType
| AnonymousType
| SingularType
| AggregateType
| NonPrimitiveType
| PrimitiveType
| Structure
| Canonical
| Domain
| Subtype
| StructuralSubtypeSatisfaction
| DomainSubtypeSatisfaction
| SubtypeSatisfaction
| TypeSatisfaction
| TypeClash
| LowestCommonAncestor
| ApplyUnopType
| ApplyBinopTypes
| ELit
| ATC
| EVar
| Binop
| Unop
| ECondSimple
| ECond
| ESlice
| ECall
| ESetter
| EGetArray
| ESliceError
| ERecord
| EGetRecordField
| EGetBitField
| EGetBadField
| EGetBadBitField
| EGetBadRecordField
| EGetBitFieldNested
| EGetBitFieldTyped
| EGetTupleItem
| EGetFields
| EConcat
| ETuple
| EArbitrary
| EPattern
| LEDiscard
| LEVar
| LEUndefIdentV0
| LEUndefIdentV1
| LEDestructuring
| LESlice
| LESetArray
| LESetStructuredField
| LESetBadBitField
| LESetBitField
| LESetBadField
| LESetFields
| LEConcat
| Slice
| PAll
| PAny
| PGeq
| PLeq
| PNot
| PRange
| PSingle
| PMask
| PTuple
| LDDiscard
| LDVar
| LDTuple
| LDUninitialisedVar
| LDUninitialisedTyped
| SPass
| SAssignCall
| SAssign
| SReturn
| SSeq
| SCall
| SCond
| SCase
| SAssert
| SWhile
| SRepeat
| SFor
| SThrow
| STry
| SDecl
| SPrint
| SPragma
| FUndefIdent
| FPrimitive
| FBadArity
| FindCheckDeduce
| AnnotateCall
| AnnotateCallArgTyped
| Block
| Loop
| For
| Catcher
| Subprogram
| DeclareOneFunc
| DeclareGlobalStorage
| DeclareTypeDecl
| Specification
| TString
| TReal
| TBool
| TNamed
| TInt
| TBits
| TTuple
| TArray
| TEnumDecl
| TStructuredDecl
| TNonDecl
| TBitField
| TBitFields
| ReduceSlicesToCall
| TypeOfArrayLength
| TypecheckDecl
| CheckGlobalPragma
| AnnotateAndDeclareFunc
| AnnotateFuncSig
| CheckSetterHasGetter
| AddNewFunc
| SubprogramForName
| HasArgClash
| GetUndeclaredDefining
| AnnotateOneParam
| AnnotateParams
| ArgsAsParams
| AnnotateArgs
| StaticEval
| ReduceConstants
| Normalize
| RenameTyEqs
| TypeCheckMutuallyRec
| DeclareSubprograms
| AnnotateLimitExpr
| CheckATC
| CheckSlicesInWidth
| DisjointSlicesToPositions
| BitfieldSliceToPositions
| CheckPositionsInWidth
| ShouldReduceToCall
| IsSymbolicallyEvaluable
| CheckSymbolicallyEvaluable
| ShouldRememberImmutableExpression
| AddImmutableExpression
| SymIntSetSubset
| SymDomIsSubset
| ApproxConstraint
| ApproxConstraints
| LEBitSlice
| AddLocalImmutableExpr
| AddGlobalImmutableExpr
| DeclareConst
| AddGlobalStorage
| LookupConstant
| TypeOf
| LookupImmutableExpr
| WithEmptyLocal
| IsGlobalUndefined
| IsLocalUndefined
| IsUndefined
| IsSubprogram
| CheckVarNotInEnv
| CheckVarNotInGEnv
| CheckDisjointSlices
| ControlFlowFromStmt
| AnnotateConstraintBinop
| ConstraintBinop
| ConstraintMod
| ConstraintPow
| ApplyBinopExtremities
| PossibleExtremitiesLeft
| PossibleExtremitiesRight
| ControlFlowSeq
| ControlFlowJoin
| CheckCommonBitfieldsAlign
| AnnotateFieldInit
| AnnotateGetArray
| AnnotateSetArray
| GetBitvectorWidth
| GetBitvectorConstWidth

val to_string : t -> string

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

val all : t list

val all_nb : int

val index : t -> int

val of_string : string -> t