Module Stmt.Pattern

type ('a, 'b) t =
  1. | Assignment of 'a lvalue * UnsizedType.t * 'a
  2. | TargetPE of 'a
  3. | JacobianPE of 'a
  4. | NRFunApp of 'a Fun_kind.t * 'a list
  5. | Break
  6. | Continue
  7. | Return of 'a option
  8. | Skip
  9. | IfElse of 'a * 'b * 'b option
  10. | While of 'a * 'b
  11. | For of {
    1. loopvar : string;
    2. lower : 'a;
    3. upper : 'a;
    4. body : 'b;
    }
  12. | Profile of string * 'b list
  13. | Block of 'b list
  14. | SList of 'b list
  15. | Decl of {
    1. decl_adtype : UnsizedType.autodifftype;
    2. decl_id : string;
    3. decl_type : 'a Type.t;
    4. initialize : 'a decl_init;
    }
and 'e lvalue = 'e lbase * 'e Index.t list
and 'e lbase =
  1. | LVariable of string
  2. | LTupleProjection of 'e lvalue * int
and 'a decl_init =
  1. | Uninit
  2. | Default
  3. | Assign of 'a
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) t -> Sexplib0.Sexp.t
val sexp_of_lvalue : ('e -> Sexplib0.Sexp.t) -> 'e lvalue -> Sexplib0.Sexp.t
val sexp_of_lbase : ('e -> Sexplib0.Sexp.t) -> 'e lbase -> Sexplib0.Sexp.t
val sexp_of_decl_init : ('a -> Sexplib0.Sexp.t) -> 'a decl_init -> Sexplib0.Sexp.t
val map : ('a -> 'c) -> ('b -> 'd) -> ('a, 'b) t -> ('c, 'd) t
val map_lvalue : ('a -> 'b) -> 'a lvalue -> 'b lvalue
val map_lbase : ('a -> 'b) -> 'a lbase -> 'b lbase
val map_decl_init : ('a -> 'b) -> 'a decl_init -> 'b decl_init
val fold : ('c -> 'a -> 'c) -> ('c -> 'b -> 'c) -> 'c -> ('a, 'b) t -> 'c
val fold_lvalue : ('a -> 'e -> 'a) -> 'a -> 'e lvalue -> 'a
val fold_lbase : ('a -> 'e -> 'a) -> 'a -> 'e lbase -> 'a
val fold_decl_init : ('b -> 'a -> 'b) -> 'b -> 'a decl_init -> 'b