package catala

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

Module Catala_runtime.OptionalSource

Sourcetype 'a t =
  1. | Absent
  2. | Present of 'a
Sourceval rtype : 'a Value.ty -> 'a t Value.ty
Sourceval of_option : 'a option -> 'a t