Elsa Ast Type FunctionExnSpec

FunctionExnSpec is a Ast type node (without any subtype nodes). FunctionExnSpec is a record.

Record Data Fields

• fun_exn_spec_types : CType list

Subtype Nodes (Subclasses)

FunctionExnSpec has no subtype nodes.

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.