Program.Typed
Programs with typed expressions and locations
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 : t -> Core.Sexp.t