3 ms·As long as you're okay with your DSL subsiding all OCaml types you can do GLift : a -> a expr'by tel 12y agoAs long as you're okay with your DSL subsiding all OCaml types you can do GLift : a -> a expr'