Type ty - Opa Documentation

type

Variant

```
   
```
```
{ 
```
OpaType.ty_const
```
 
```
TyConst
```
 }
```
```
or 
```
```
{ 
```
OpaType.typevar
```
 
```
TyVar
```
 }
```
```
or 
```
```
{ 
```
list
(
OpaType.ty
)
```
 
```
TyArrow_params
,
OpaType.ty
```
 
```
TyArrow_res
```
 }
```
```
or 
```
```
{ 
```
list
(
OpaType.ty
)
```
 
```
TyName_args
,
OpaType.ty_ident
```
 
```
TyName_ident
```
 }
```
```
or 
```
```
{ 
```
void
```
 
```
TyAbstract
```
 }
```
```
or 
```
```
{ 
```
OpaTsc.quantifier
```
 
```
TyForall_quant
,
OpaType.ty
```
 
```
TyForall_body
```
 }
```
```
or 
```
```
{ 
```
OpaType.fields
```
 
```
TyRecord_row
```
 }
```
```
or 
```
```
{ 
```
OpaType.fields
```
 
```
TyRecord_row
,
OpaType.rowvar
```
 
```
TyRecord_rowvar
```
 }
```
```
or 
```
```
{ 
```
list
(
OpaType.fields
)
```
 
```
TySum_col
```
 }
```
```
or 
```
```
{ 
```
list
(
OpaType.fields
)
```
 
```
TySum_col
,
OpaType.colvar
```
 
```
TySum_colvar
```
 }
```

This type define the type of OPA value.Please note that, for the invariants on this datatype to be valid, they have to
be satisfied by Pass_ExplicitInstantiation (for the initial creation of type) and by
by every function in the stdlib (at type instantiation for instance).BEWARE: for now, the INVARIANT is probably not satisfied because serialization
and unseralization of a type probably shuffles the order.
Still, unifiable relies on the invariant for now

Comments