dedukti-1.1.0: Dedukti/Parser.hs-boot

module Dedukti.Parser where

import Dedukti.Core
import Dedukti.Module


type SourceName = String
type Pa t = t Qid Unannot