Catala_runtime.Optional
type 'a t =
| Absent
| Present of 'a
val rtype : 'a Value.ty -> 'a t Value.ty