package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Shared_ast.ConstantNamesSource

Sourceval option_enum : Shared_ast__.Definitions.EnumName.t
Sourceval option_struct : Shared_ast__.Definitions.StructName.t

Only used in some backends where enums piggy-back on structs (e.g. C)

Sourceval none_constr : Shared_ast__.Definitions.EnumConstructor.t
Sourceval some_constr : Shared_ast__.Definitions.EnumConstructor.t
Sourceval source_pos_struct : Shared_ast__.Definitions.StructName.t

Fake structure (there is no corresponding decl) used for categorising PosLit terms in scalc