open Mp4common

let getProper opt = 
  match opt with 
    Some x -> x |
    None -> raise (Failure "")

(* Problem 1 *) 
let rec subst n t t' = raise (Failure "")

(* Problem 2 *)
let substInEqList n t eqs = raise (Failure "")

(* Problem 3 *) 
let rec isInType n t =  raise (Failure "")

(* Problem 4 *) 
let isSol eqs = raise (Failure "")

(* Problem 5 *)
let eqSol2subst eqs = raise (Failure "")

(* Problem 6 *)
let unif eq = raise (Failure "")

(* Problem 7 *) 

let getSolution t t' = raise (Failure "")
           
(* Problem 8 *) 
let isSol2 eqs = raise (Failure "")