open Fstarcompiler
open Prims
type 'a relation = unit
type 'a predicate = unit
type ('a, 'rel) reflexive = unit
type ('a, 'rel) transitive = unit
type ('a, 'rel) preorder_rel = unit
type 'a preorder = unit
type ('a, 'p, 'rel) stable = unit
