module C = Core_jsonnet

exception IllTyped of string

  TODO #static_checking

let check (_e : C.expr) : unit = failwith "TODO"

module C = Core_jsonnet

exception IllTyped of string

  TODO #static_checking

let check (_e : C.expr) : unit = failwith "TODO"
