Synapx
Approximate Syntax
module Int = Synint
module LF : sig ... end
Approximate LF Syntax
module Comp : sig ... end
Approximate Computation Syntax