Middle.Transformation
Transformations (constraints) for global variable declarations
type 'e t =
| Identity
| Lower of 'e
| Upper of 'e
| LowerUpper of 'e * 'e
| Offset of 'e
| Multiplier of 'e
| OffsetMultiplier of 'e * 'e
| Ordered
| PositiveOrdered
| Simplex
| UnitVector
| SumToZero
| CholeskyCorr
| CholeskyCov
| Correlation
| Covariance
| StochasticRow
| StochasticColumn
| TupleTransformation of 'e t list
Types of transformations. Polymorphic type is filled in with an expression fixed-point, e.g. Frontend.Ast.typed_expression
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val t_of_sexp : 'e. (Sexplib0.Sexp.t -> 'e) -> Sexplib0.Sexp.t -> 'e t
val sexp_of_t : 'e. ('e -> Sexplib0.Sexp.t) -> 'e t -> Sexplib0.Sexp.t
val hash_fold_t :
'e. (Ppx_hash_lib.Std.Hash.state -> 'e -> Ppx_hash_lib.Std.Hash.state) ->
Ppx_hash_lib.Std.Hash.state ->
'e t ->
Ppx_hash_lib.Std.Hash.state
val has_check : 'a t -> bool