Up
–
Index
»
catala
»
Catala_runtime
» ExternalType
Module
Catala_runtime.ExternalType
Parameters
Signature
Parameters
module
Spec
:
ExternalTypeSpec
Signature
type
t
=
Spec.t
val
rtype :
t
Value.ty