package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Letify.Ground`Source

Sourcetype env

Sourceval top : unit -> env

Sourceval copy : env -> env

Sourceval e_apply : env -> Lang.F.term -> Lang.F.term

Sourceval p_apply : env -> Lang.F.pred -> Lang.F.pred

Sourceval forward : env -> Lang.F.pred -> Lang.F.pred

Sourceval backward : env -> Lang.F.pred -> Lang.F.pred

Sourceval branch : env -> Lang.F.pred -> Lang.F.pred * env * env