package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

The type checker for the host language

package rfsm

rfsm
- Rfsm
  - Annot
  - Bits
  - Cmodel
    
    CMODEL
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Compiler
    
    LEXER
    
    Make
    
    L
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Guest
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Lexer
    
    Parser
    
    PARSER
    
    T
  - Ctask
    
    CTASK
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    G
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Depg
    
    G
    
    E
    
    Mark
    
    V
    
    M
    
    Make
    
    N
    
    NODE
    
    T
    
    TS
  - Dot
    
    DOT
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    S
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Dynamic
    
    DYNAMIC
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Make
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Static
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
  - Env
  - Event
    
    Make
    
    GS
    
    Types
    
    GV
    
    T
    
    Syntax
    
    Types
    
    Value
  - Evseq
    
    EVSEQ
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    ES
    
    Event
    
    Syntax
    
    Types
    
    Value
  - Evset
    
    Make
    
    E
    
    Syntax
    
    Types
    
    Value
    
    T
    
    Event
    
    Syntax
    
    Types
    
    Value
  - Ext
    
    Base
    
    File
    
    Format
    
    List
    
    Option
  - Guest
    
    CTASK
    
    Syntax
    
    Types
    
    ERROR
    
    EVAL
    
    Syntax
    
    Types
    
    Value
    
    INFO
    
    OPTIONS
    
    STATIC
    
    SYNTAX
    
    Types
    
    SYSTEMC
    
    Static
    
    Syntax
    
    Types
    
    T
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    TYPES
    
    TYPING
    
    Syntax
    
    Types
    
    Types
    
    VALUE
    
    VHDL
    
    Static
    
    Syntax
    
    Types
  - Host
    
    Make
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    G
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
    
    T
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Guest
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
  - Ident
  - Location
  - Logfile
  - Misc
  - Options
  - Static
    
    Make
    
    GS
    
    GV
    
    HS
    
    Guest
    
    Types
    
    HT
    
    T
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Subst
  - Syntax
    
    Make
    
    G
    
    Types
    
    SYNTAX
    
    Guest
    
    Types
  - Systemc
    
    Make
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    SYSTEMC
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Typing
    
    Make
    
    GS
    
    GT
    
    Types
    
    HS
    
    Guest
    
    Types
    
    TYPING
    
    HostSyntax
    
    Guest
    
    Types
  - Vcd
    
    Make
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    VCD
  - Vcd_types
  - Version
  - Vhdl
    
    Make
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    VHDL
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Vhdl_types

Legend:
Library
Module
Module type
Parameter
Class
Class type

The type checker for the host language

module type TYPING = sig ... end

module Make
  (HS : Syntax.SYNTAX)
  (GT : Guest.TYPING with module Syntax = HS.Guest and type Types.typ = HS.typ)
  (GS : Guest.STATIC with type expr = HS.expr) : 
  sig ... end