Up – Package index » doc » Library dolmen.std » Dolmen_std » Expr » Term » Const » Array

Module `Const.Array`Source

A module for array constant symbols that occur in terms.

doc
- CHANGES
- README
- Library dolmen
  - Dolmen
- Library dolmen.ae
  - Dolmen_ae
- Library dolmen.class
  - Dolmen_class
- Library dolmen.dimacs
  - Dolmen_dimacs
- Library dolmen.icnf
  - Dolmen_icnf
- Library dolmen.intf
  - Dolmen_intf
- Library dolmen.line
  - Dolmen_line
- Library dolmen.smtlib2
  - Dolmen_smtlib2
- Library dolmen.std
  - Dolmen_std
    - Answer
    - Builtin
    - Escape
    - Expr
      - Tags
      - Print
      - Subst
      - Id
      - Ty
      - Term
        Var
        Const
        Int
        Rat
        Real
        Array
        Bitv
        Float
        String
        Cstr
        Field
        Array
        Bitv
        Float
        Int
        Rat
        Real
        String
    - Hmap
    - Id
    - Loc
    - Maps
    - Maps_string
    - Misc
    - Msg
    - Name
    - Namespace
    - Normalize
    - Path
    - Pretty
    - Statement
    - Stats
    - Tag
    - Term
    - Timer
    - Tok
    - Transformer
    - Vec
- Library dolmen.tptp
  - Dolmen_tptp
- Library dolmen.zf
  - Dolmen_zf
- Library dolmen_smtlib2_poly
  - Dolmen_smtlib2_poly
- Library dolmen_smtlib2_v6
  - Dolmen_smtlib2_v6
- Library dolmen_smtlib2_v6_response
  - Dolmen_smtlib2_v6_response
- Library dolmen_smtlib2_v6_script
  - Dolmen_smtlib2_v6_script
- Library dolmen_tptp_v6_3_0
  - Dolmen_tptp_v6_3_0
- Sources

Sourceval const : t

Array selection.

Sourceval select : t

Array selection.

Sourceval store : t

Array store.