module Dedukti.Parser where

import Dedukti.Core
import Dedukti.Module


type SourceName = String
type Pa t = t Qid Unannot