1 2
val quote : size:int -> Domain.value -> Syntax.tm val quote_ne : size:int -> Domain.ne -> Syntax.tm