Location.t is required when constructing shapes for which evaluation might fail.
Location.t
type t
val of_string : string ‑> t