package catala

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

Module Var.SetSource

Wrapper over Set.S but with a type variable for the AST type parameters. Extend as needed

Sourcetype 'e t
Sourceval empty : 'e t
Sourceval singleton : 'e var -> 'e t
Sourceval add : 'e var -> 'e t -> 'e t
Sourceval remove : 'e var -> 'e t -> 'e t
Sourceval union : 'e t -> 'e t -> 'e t
Sourceval mem : 'e var -> 'e t -> bool
Sourceval of_list : 'e var list -> 'e t
Sourceval elements : 'e t -> 'e var list
Sourceval diff : 'e t -> 'e t -> 'e t
Sourceval iter : ('e var -> unit) -> 'e t -> unit
OCaml

Innovation. Community. Security.