package catala

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

Module Scalc.UtilsSource

Sourceval subst_expr : Ast.VarName.t -> Ast.expr -> Ast.expr -> Ast.expr

subst_expr var replacement within_expr substitutes replacement for var within within_expr.

subst_expr var replacement typ pos block substitutes replacement for var within the given block. If not possible (the variable appears in a variable-only position), the block is returned with an initialisation of var with replacement prepended

Recurses into branchings, but not function bodies

Sourceval filter_map_block : (Ast.stmt Catala_utils.Mark.pos -> 'a option) -> Ast.block -> 'a list

Recurses into branchings, but not function bodies