val format_var : Format.formatter -> Ast.Var.t -> unit
val format_location : Format.formatter -> Ast.location -> unit
val format_typ : Format.formatter -> Ast.typ Utils.Pos.marked -> unit
val format_expr : Format.formatter -> Ast.expr Utils.Pos.marked -> unit