Module Checked.Address

type value
type var
val typ : depth:int -> ( var, value ) Snark_params.Tick.Typ.t