type name = string

type bind
  = Imp
  | Exp