val quote : size:int -> Domain.t -> Syntax.t
val quote_ne : size:int -> Domain.ne -> Syntax.t