catala 0.3.0 · OCaml Package

method visit_Add : 'monomorphic. 'env -> op_kind -> binop

method visit_Aggregate : 'monomorphic. 'env -> aggregate_func -> collection_op

method visit_AggregateArgExtremum : 'monomorphic. 'env ->
  bool ->
  primitive_typ ->
  expression Utils.Pos.marked ->
  aggregate_func

method visit_AggregateCount : 'monomorphic. 'env -> aggregate_func

method visit_AggregateExtremum : 'monomorphic. 'env ->
  bool ->
  primitive_typ ->
  expression Utils.Pos.marked ->
  aggregate_func

method visit_AggregateSum : 'monomorphic. 'env ->
  primitive_typ ->
  aggregate_func

method visit_And : 'monomorphic. 'env -> binop

method visit_ArrayLit : 'monomorphic. 'env ->
  expression Utils.Pos.marked list ->
  expression

method visit_Assertion : 'monomorphic. 'env -> assertion -> scope_use_item

method visit_Base : 'monomorphic. 'env -> base_typ -> typ

method visit_Binop : 'monomorphic. 'env ->
  binop Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_Boolean : 'monomorphic. 'env -> primitive_typ

method visit_Builtin : 'monomorphic. 'env -> builtin_expression -> expression

method visit_Cardinal : 'monomorphic. 'env -> builtin_expression

method visit_CatalaFile : 'monomorphic. 'env ->
  string Utils.Pos.marked ->
  law_include

method visit_CodeBlock : 'monomorphic. 'env ->
  code_block ->
  string Utils.Pos.marked ->
  law_article_item

method visit_Collection : 'monomorphic. 'env ->
  base_typ_data Utils.Pos.marked ->
  base_typ_data

method visit_CollectionOp : 'monomorphic. 'env ->
  collection_op Utils.Pos.marked ->
  ident Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_Condition : 'monomorphic. 'env -> base_typ

method visit_ContextData : 'monomorphic. 'env ->
  scope_decl_context_data ->
  scope_decl_context_item

method visit_ContextScope : 'monomorphic. 'env ->
  scope_decl_context_scope ->
  scope_decl_context_item

method visit_Data : 'monomorphic. 'env -> base_typ_data -> base_typ

method visit_Date : 'monomorphic. 'env -> primitive_typ

method visit_Day : 'monomorphic. 'env -> literal_unit

method visit_Dec : 'monomorphic. 'env ->
  Runtime.integer ->
  Runtime.integer ->
  literal_number

method visit_Decimal : 'monomorphic. 'env -> primitive_typ

method visit_Decreasing : 'monomorphic. 'env -> variation_typ

method visit_Definition : 'monomorphic. 'env -> definition -> scope_use_item

method visit_Div : 'monomorphic. 'env -> op_kind -> binop

method visit_Dotted : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  constructor Utils.Pos.marked option ->
  ident Utils.Pos.marked ->
  expression

method visit_Duration : 'monomorphic. 'env -> primitive_typ

method visit_EnumDecl : 'monomorphic. 'env -> enum_decl -> code_item

method visit_EnumInject : 'monomorphic. 'env ->
  constructor Utils.Pos.marked option ->
  constructor Utils.Pos.marked ->
  expression Utils.Pos.marked option ->
  expression

method visit_Eq : 'monomorphic. 'env -> binop

method visit_ExceptionToLabel : 'monomorphic. 'env ->
  ident Utils.Pos.marked ->
  exception_to

method visit_Exists : 'monomorphic. 'env -> collection_op

method visit_Filter : 'monomorphic. 'env -> collection_op

method visit_FixedBy : 'monomorphic. 'env ->
  qident Utils.Pos.marked ->
  ident Utils.Pos.marked ->
  meta_assertion

method visit_Forall : 'monomorphic. 'env -> collection_op

method visit_FunCall : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_Func : 'monomorphic. 'env -> func_typ -> typ

method visit_GetDay : 'monomorphic. 'env -> builtin_expression

method visit_GetMonth : 'monomorphic. 'env -> builtin_expression

method visit_GetYear : 'monomorphic. 'env -> builtin_expression

method visit_Gt : 'monomorphic. 'env -> op_kind -> binop

method visit_Gte : 'monomorphic. 'env -> op_kind -> binop

method visit_Ident : 'monomorphic. 'env -> ident -> expression

method visit_IfThenElse : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_Increasing : 'monomorphic. 'env -> variation_typ

method visit_Int : 'monomorphic. 'env -> Runtime.integer -> literal_number

method visit_IntToDec : 'monomorphic. 'env -> builtin_expression

method visit_Integer : 'monomorphic. 'env -> primitive_typ

method visit_IntermediateText : 'monomorphic. 'env -> string -> law_structure

method visit_KDate : 'monomorphic. 'env -> op_kind

method visit_KDec : 'monomorphic. 'env -> op_kind

method visit_KDuration : 'monomorphic. 'env -> op_kind

method visit_KInt : 'monomorphic. 'env -> op_kind

method visit_KMoney : 'monomorphic. 'env -> op_kind

method visit_LBool : 'monomorphic. 'env -> bool -> literal

method visit_LDate : 'monomorphic. 'env -> literal_date -> literal

method visit_LMoneyAmount : 'monomorphic. 'env -> money_amount -> literal

method visit_LNumber : 'monomorphic. 'env ->
  literal_number Utils.Pos.marked ->
  literal_unit Utils.Pos.marked option ->
  literal

method visit_LawArticle : 'monomorphic. 'env ->
  law_article ->
  law_article_item list ->
  law_structure

method visit_LawHeading : 'monomorphic. 'env ->
  law_heading ->
  law_structure list ->
  law_structure

method visit_LawInclude : 'monomorphic. 'env -> law_include -> law_structure

method visit_LawStructure : 'monomorphic. 'env -> law_structure -> program_item

method visit_LawText : 'monomorphic. 'env -> string -> law_article_item

method visit_LegislativeText : 'monomorphic. 'env ->
  string Utils.Pos.marked ->
  law_include

method visit_Literal : 'monomorphic. 'env -> literal -> expression

method visit_Lt : 'monomorphic. 'env -> op_kind -> binop

method visit_Lte : 'monomorphic. 'env -> op_kind -> binop

method visit_Map : 'monomorphic. 'env -> collection_op

method visit_MatchWith : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  match_cases Utils.Pos.marked ->
  expression

method visit_MemCollection : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_MetaAssertion : 'monomorphic. 'env ->
  meta_assertion ->
  scope_use_item

method visit_MetadataBlock : 'monomorphic. 'env ->
  code_block ->
  string Utils.Pos.marked ->
  law_structure

method visit_Minus : 'monomorphic. 'env -> op_kind -> unop

method visit_Money : 'monomorphic. 'env -> primitive_typ

method visit_Month : 'monomorphic. 'env -> literal_unit

method visit_Mult : 'monomorphic. 'env -> op_kind -> binop

method visit_Named : 'monomorphic. 'env -> constructor -> primitive_typ

method visit_Neq : 'monomorphic. 'env -> binop

method visit_Not : 'monomorphic. 'env -> unop

method visit_NotAnException : 'monomorphic. 'env -> exception_to

method visit_Or : 'monomorphic. 'env -> binop

method visit_PdfFile : 'monomorphic. 'env ->
  string Utils.Pos.marked ->
  int option ->
  law_include

method visit_Percent : 'monomorphic. 'env -> literal_unit

method visit_Primitive : 'monomorphic. 'env -> primitive_typ -> base_typ_data

method visit_Rule : 'monomorphic. 'env -> rule -> scope_use_item

method visit_ScopeDecl : 'monomorphic. 'env -> scope_decl -> code_item

method visit_ScopeUse : 'monomorphic. 'env -> scope_use -> code_item

method visit_StructDecl : 'monomorphic. 'env -> struct_decl -> code_item

method visit_StructLit : 'monomorphic. 'env ->
  constructor Utils.Pos.marked ->
  (ident Utils.Pos.marked * expression Utils.Pos.marked) list ->
  expression

method visit_Sub : 'monomorphic. 'env -> op_kind -> binop

method visit_TestMatchCase : 'monomorphic. 'env ->
  expression Utils.Pos.marked ->
  match_case_pattern Utils.Pos.marked ->
  expression

method visit_Text : 'monomorphic. 'env -> primitive_typ

method visit_UnlabeledException : 'monomorphic. 'env -> exception_to

method visit_Unop : 'monomorphic. 'env ->
  unop Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  expression

method visit_VariesWith : 'monomorphic. 'env ->
  qident Utils.Pos.marked ->
  expression Utils.Pos.marked ->
  variation_typ Utils.Pos.marked option ->
  meta_assertion

method visit_Year : 'monomorphic. 'env -> literal_unit

method visit_aggregate_func : 'monomorphic. 'env ->
  aggregate_func ->
  aggregate_func

method visit_assertion : 'monomorphic. 'env -> assertion -> assertion

method visit_base_typ : 'monomorphic. 'env -> base_typ -> base_typ

method visit_base_typ_data : 'monomorphic. 'env ->
  base_typ_data ->
  base_typ_data

method visit_binop : 'monomorphic. 'env -> binop -> binop

method visit_builtin_expression : 'monomorphic. 'env ->
  builtin_expression ->
  builtin_expression

method visit_code_block : 'monomorphic. 'env ->
  code_item Utils.Pos.marked list ->
  code_item Utils.Pos.marked list

method visit_code_item : 'monomorphic. 'env -> code_item -> code_item

method visit_collection_op : 'monomorphic. 'env ->
  collection_op ->
  collection_op

method visit_constructor : 'monomorphic. 'env -> constructor -> constructor

method visit_definition : 'monomorphic. 'env -> definition -> definition

method visit_enum_decl : 'monomorphic. 'env -> enum_decl -> enum_decl

method visit_enum_decl_case : 'monomorphic. 'env ->
  enum_decl_case ->
  enum_decl_case

method visit_exception_to : 'monomorphic. 'env -> exception_to -> exception_to

method visit_expression : 'monomorphic. 'env -> expression -> expression

method visit_func_typ : 'monomorphic. 'env -> func_typ -> func_typ

method visit_ident : 'monomorphic. 'env -> ident -> ident

method visit_law_article : 'monomorphic. 'env -> law_article -> law_article

method visit_law_article_item : 'monomorphic. 'env ->
  law_article_item ->
  law_article_item

method visit_law_heading : 'monomorphic. 'env -> law_heading -> law_heading

method visit_law_include : 'monomorphic. 'env -> law_include -> law_include

method visit_law_structure : 'monomorphic. 'env ->
  law_structure ->
  law_structure

method visit_literal : 'monomorphic. 'env -> literal -> literal

method visit_literal_date : 'monomorphic. 'env -> literal_date -> literal_date

method visit_literal_number : 'monomorphic. 'env ->
  literal_number ->
  literal_number

method visit_literal_unit : 'monomorphic. 'env -> literal_unit -> literal_unit

method visit_marked : 'a. ('env -> 'a -> 'a) ->
  'env ->
  'a Utils.Pos.marked ->
  'a Utils.Pos.marked

method visit_match_case : 'monomorphic. 'env -> match_case -> match_case

method visit_match_case_pattern : 'monomorphic. 'env ->
  ((constructor Utils.Pos.marked option * constructor Utils.Pos.marked) list
   * ident Utils.Pos.marked option) ->
  (constructor Utils.Pos.marked option * constructor Utils.Pos.marked) list
  * ident Utils.Pos.marked option

method visit_match_cases : 'monomorphic. 'env -> match_cases -> match_cases

method visit_meta_assertion : 'monomorphic. 'env ->
  meta_assertion ->
  meta_assertion

method visit_money_amount : 'monomorphic. 'env -> money_amount -> money_amount

method visit_op_kind : 'monomorphic. 'env -> op_kind -> op_kind

method visit_primitive_typ : 'monomorphic. 'env ->
  primitive_typ ->
  primitive_typ

method visit_program : 'monomorphic. 'env -> program -> program

method visit_program_item : 'monomorphic. 'env -> program_item -> program_item

method visit_qident : 'monomorphic. 'env ->
  ident Utils.Pos.marked list ->
  ident Utils.Pos.marked list

method visit_rule : 'monomorphic. 'env -> rule -> rule

method visit_scope_decl : 'monomorphic. 'env -> scope_decl -> scope_decl

method visit_scope_decl_context_data : 'monomorphic. 'env ->
  scope_decl_context_data ->
  scope_decl_context_data

method visit_scope_decl_context_item : 'monomorphic. 'env ->
  scope_decl_context_item ->
  scope_decl_context_item

method visit_scope_decl_context_scope : 'monomorphic. 'env ->
  scope_decl_context_scope ->
  scope_decl_context_scope

method visit_scope_use : 'monomorphic. 'env -> scope_use -> scope_use

method visit_scope_use_item : 'monomorphic. 'env ->
  scope_use_item ->
  scope_use_item

method visit_source_repr : 'monomorphic. 'env ->
  string Utils.Pos.marked ->
  string Utils.Pos.marked

method visit_struct_decl : 'monomorphic. 'env -> struct_decl -> struct_decl

method visit_struct_decl_field : 'monomorphic. 'env ->
  struct_decl_field ->
  struct_decl_field

method visit_typ : 'monomorphic. 'env -> typ -> typ

method visit_unop : 'monomorphic. 'env -> unop -> unop

method visit_variation_typ : 'monomorphic. 'env ->
  variation_typ ->
  variation_typ

package catala