package libsail

You can search for identifiers within the package.

in-package search v0.2.0

Module `Libsail.AstInduction`Source

Sourceval lexp_subexps : 'a1 Ast.lexp -> 'a1 Ast.exp list

Sourceval take_drop : Big_int_Z.big_int -> 'a1 list -> 'a1 list * 'a1 list

val update_lexp_subexps : 
  'a1 Ast.exp list ->
  'a1 Ast.lexp ->
  'a1 Ast.lexp * 'a1 Ast.exp list