type t = int array * int arrayval make : unit -> int array * int arrayval add_literal : (int array * 'a) -> char -> unitval add_distance : (int array * int array) -> (int * int) -> unitval get_literals : ('a * 'b) -> 'aval get_distances : ('a * 'b) -> 'b