package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c typ_map = 'c typ_map
inherit func_typ_map
method visit_Base : 'c -> 'd -> base_typ -> typ
method visit_Func : 'c -> 'e -> func_typ -> typ
method visit_typ : 'c -> 'f -> typ -> typ