package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

md5=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

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