path: root/rego-proofs/examples/01-computable-assign-scalar.prune.lean

import Lean.Data.Json

def pi : Lean.JsonNumber := 3.14159

-- It's okay to have concrete-typed definitions, so long as we have a coe to
-- `Any`.