sig
  val position : MiniAst.expression -> Positions.position
  val joine : MiniAst.expression -> MiniAst.expression -> Positions.position
  val lposition : MiniAst.expression list -> Positions.position
  val tposition : MiniAst.typ -> Positions.position
  val tjoin : MiniAst.typ -> MiniAst.typ -> Positions.position
  val tlposition : MiniAst.typ list -> Positions.position
  val bposition : MiniAst.binding -> Positions.position
  val bjoin : MiniAst.binding -> MiniAst.binding -> Positions.position
  val blposition : MiniAst.binding list -> Positions.position
  val vposition : 'a * 'b * 'c * 'd -> 'a
  val vlposition :
    (Positions.position * 'a * 'b * 'c) list -> Positions.position
  val tdposition : 'a * 'b * 'c * 'd -> 'a
  val tdlposition :
    (Positions.position * 'a * 'b * 'c) list -> Positions.position
  val pposition : MiniAst.pattern -> Positions.position
  val pjoin : MiniAst.pattern -> MiniAst.pattern -> Positions.position
  val plposition : MiniAst.pattern list -> Positions.position
end