获取子字符串中第一个和最后一个字符的位置

我想在OCaml中创建一个函数,返回子字符串中第一个和最后一个字符的位置。例如 my_sub "tar" "ar" 将返回 (1,2) 但如果我有 my_sub "tabr" "ar" 会的 Nil ,它必须是连续的。我该怎么做?

编辑

我试图编写代码,但我遇到了一个问题

let rec pos_sub l t n =
  let rec aux l1 l2 x =
    match l1, l2 with
    | [], _ | _, [] | [], [] -> -1
    | h1::q1, h2 | h1, h2 -> if h1 = h2 then x else -1
    | h1::q1, h2::q2 -> if h1 = h2 then aux q1 q2 x+1 else -1
  in
  match l, t with
  | [], _ -> (-1,-1)
  | h1::q1, h2::q2 -> if h1 = h2 then (n, (aux q1 q2 n+1)) else pos_sub q1 t n+1

上面写着:

此or模式左侧的变量h1具有“a”类型 但在右边,它有一个“列表” 类型变量“a出现在”列表中

在年的第二场比赛中 aux