951 

   951 

   952   which shows the internal representation of the term @{text "Suc ?x"}. Similarly

   952   which shows the internal representation of the term @{text "Suc ?x"}. Similarly

   953   we can write an antiquotation for type patterns.

   953   we can write an antiquotation for type patterns.

   954 *}

   954 *}

   955 

   955 

   957   val parser = Args.context -- Scan.lift Args.name_source

   957   val parser = Args.context -- Scan.lift Args.name_source

   958 

   958 

   959   fun typ_pat (ctxt, str) =

   959   fun typ_pat (ctxt, str) =

   960      str |> Syntax.parse_typ ctxt

   960      str |> Syntax.parse_typ ctxt

   961          |> ML_Syntax.print_typ

   961          |> ML_Syntax.print_typ