Module Loc

module Loc: sig .. end

type loc =

`\|`	`Unify of string * int * int`
`\|`	`Argument of string * int * int * int`
`\|`	`Unknown of string`

val create : string -> int -> int -> loc

val unknown : string -> loc

val argument : loc -> int -> loc

val toString : loc -> string

val isKnown : loc -> bool