Typed (stanc.Middle.Program.Typed)

type nonrec t = (Expr.Typed.t, Stmt.Located.t, Location_span.t) t

val pp : 
  Stdlib.Format.formatter ->
  (Expr.Typed.t, Stmt.Located.t, 'a) t ->
  unit

val sexp_of_t : 
  (Expr.Typed.t, Stmt.Located.t, Location_span.t) t ->
  Sexplib0.Sexp.t

val t_of_sexp : 
  Sexplib0.Sexp.t ->
  (Expr.Typed.t, Stmt.Located.t, Location_span.t) t