package melange-compiler-libs

You can search for identifiers within the package.

in-package search v0.2.0

melange-compiler-libs
- Melange_compiler_libs
  - Annot
  - Ast_mapper
  - Bs_clflags
  - Btype
    
    For_copy
    
    TransientTypeMap
    
    TypeHash
    
    TypeMap
    
    TypePairs
    
    TypeSet
  - Builtin_attributes
  - Cmi_format
  - Cmt2annot
  - Cmt_format
  - Config
  - Ctype
  - Datarepr
  - Depend
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_app_diff
    
    Defs
    
    Functor_inclusion_diff
    
    Defs
  - Includemod_errorprinter
  - Lambda
  - Lexer
  - Location
  - Matching
  - Misc
    
    Color
    
    Error_style
    
    Int_literal_converter
    
    LongString
    
    Magic_number
    
    Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
  - Mtype
  - Oprint
  - Parmatch
    
    Compat
    
    _
  - Parse
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Patterns
    
    General
    
    Half_simple
    
    Head
    
    Non_empty_row
    
    Simple
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Predef
  - Primitive
  - Printlambda
  - Printpat
  - Printtyp
    
    Conflicts
    
    Naming_context
    
    Out_name
    
    Subtype
  - Printtyped
  - Rec_check
  - Rescript_cpp
  - Shape
    
    Item
    
    Map
    
    Make_reduce
    
    Context
    
    Map
    
    Sig_component_kind
    
    Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Signature_group
  - Simplif
  - Stypes
  - Subst
    
    Lazy
  - Switch
    
    CtxStore
    
    A
    
    CtxStored
    
    Make
    
    Arg
    
    S
    
    Store
    
    A
    
    Stored
  - Tast_iterator
  - Tast_mapper
  - Tmc
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Translprim
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Sig_component_kind
    
    Signature_names
  - Typeopt
  - Types
    
    MethSet
    
    Meths
    
    Separability
    
    TransientTypeOps
    
    Transient_expr
    
    VarSet
    
    Variance
    
    Vars
  - Typetexp
  - Untypeast
  - Warnings

Legend:
Library
Module
Module type
Parameter
Class
Class type

type error =

| Bad_immediacy_attribute of Type_immediacy.Violation.t

exception Error of Location.t * error

val compute_decl : Env.t -> Types.type_declaration -> Type_immediacy.t

val property : (Type_immediacy.t, unit) Typedecl_properties.property

val update_decls : 
  Env.t ->
  (Ident.t * Typedecl_properties.decl) list ->
  (Ident.t * Typedecl_properties.decl) list