package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c scope_decl_iter = 'c scope_decl_iter
method visit_scope_decl : 'c -> 'd -> scope_decl -> unit