Module type Catala_runtime.CatalaType

type t
val rtype : t Value.ty